14. CSL 2000: Fischbachau, Germany
- Peter Clote, Helmut Schwichtenberg:
Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Lecture Notes in Computer Science 1862, Springer 2000, ISBN 3-540-67895-6
Invited Papers
- Bruno Poizat:
Une tentative malheureuse do construire une structure éliminant rapidement les quanteurs. 61-70
Contributed Papers
- Matthias Baaz, Richard Zach:
Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. 187-201 - Andrej Bauer, Lars Birkedal:
Continuous Functionals of Dependent Types and Equilogical Spaces. 202-216 - Johann A. Makowsky, Klaus Meer:
On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale. 399-410 - Andrzej S. Murawski, C.-H. Luke Ong:
Discreet Games, Light Affine Logic and PTIME Computation. 427-441 - Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl:
Equational Termination by Semantic Labelling. 457-471