14. CSL 2000: Fischbachau, Germany

@proceedings{DBLP:conf/csl/2000,
  editor    = {Peter Clote and
               Helmut Schwichtenberg},
  title     = {Computer Science Logic, 14th Annual Conference of the EACSL,
               Fischbachau, Germany, August 21-26, 2000, Proceedings},
  booktitle = {CSL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1862},
  year      = {2000},
  isbn      = {3-540-67895-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Andreas Blass, Yuri Gurevich:
  Background, Reserve, and Gandy Machines. 1-17
  Electronic Edition (Springer LINK) BibTeX
• Andreas Blass, Yuri Gurevich:
  Choiceless Polynominal Time Computation and the Zero-One Law. 18-40
  Electronic Edition (Springer LINK) BibTeX
• Egon Börger, Joachim Schmid:
  Composition and Submachine Concepts for Sequential ASMs. 41-60
  Electronic Edition (Springer LINK) BibTeX
• Bruno Poizat:
  Une tentative malheureuse do construire une structure éliminant rapidement les quanteurs. 61-70
  Electronic Edition (Springer LINK) BibTeX
• Wolfram Schulte:
  Translating Theory into Practice - Abstract State Machines within Microsoft. 71
  Electronic Edition (Springer LINK) BibTeX
• Saharon Shelah:
  Choiceless Polynominal Time Logic: Inability to Express. 72-125
  Electronic Edition (Springer LINK) BibTeX
• Colin Stirling:
  Schema Revisited. 126-138
  Electronic Edition (Springer LINK) BibTeX
• Moshe Y. Vardi:
  Automated Verification = Graphs, Automata, and Logic. 139
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers

• Samson Abramsky, Marina Lenisa:
  A Fully Complete PER Model for ML Polymorphic Types. 140-155
  Electronic Edition (Springer LINK) BibTeX
• David Aspinall:
  Subtyping with Power Types. 156-171
  Electronic Edition (Springer LINK) BibTeX
• Albert Atserias:
  The Descriptive Comlexity of the Fixed-Points of Bounded Formulas. 172-186
  Electronic Edition (Springer LINK) BibTeX
• Matthias Baaz, Richard Zach:
  Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. 187-201
  Electronic Edition (Springer LINK) BibTeX
• Andrej Bauer, Lars Birkedal:
  Continuous Functionals of Dependent Types and Equilogical Spaces. 202-216
  Electronic Edition (Springer LINK) BibTeX
• Michael Benedikt, H. Jerome Keisler:
  Definability over Linear Constraints. 217-231
  Electronic Edition (Springer LINK) BibTeX
• Achim Blumensath:
  Bounded Arithmetic and Descriptive Complexity. 232-246
  Electronic Edition (Springer LINK) BibTeX
• Julian C. Bradfield:
  Independence: Logics and Concurrency. 247-261
  Electronic Edition (Springer LINK) BibTeX
• Hubert Comon, Véronique Cortier:
  Flatness Is Not a Weakness. 262-276
  Electronic Edition (Springer LINK) BibTeX
• Thierry Coquand, Guo-Qiang Zhang:
  Sequents, Frames, and Completeness. 277-291
  Electronic Edition (Springer LINK) BibTeX
• Vincent Danos, Jean-Louis Krivine:
  Disjunctive Tautologies as Synchronisation Schemes. 292-301
  Electronic Edition (Springer LINK) BibTeX
• Zoltán Ésik:
  Axiomatizing the Least Fixed Point Operation and Binary Supremum. 302-316
  Electronic Edition (Springer LINK) BibTeX
• Peter Hancock, Anton Setzer:
  Interactive Programs in Dependent Type Theory. 317-331
  Electronic Edition (Springer LINK) BibTeX
• Edith Hemaspaandra:
  Modal Satisfiability Is in Deterministic Linear Space. 332-342
  Electronic Edition (Springer LINK) BibTeX
• Mathieu Jaume:
  Logic Programming and Co-inductive Definitions. 343-355
  Electronic Edition (Springer LINK) BibTeX
• Reinhard Kahle, Thomas Studer:
  A Theory of Explicit Mathematics Equivalent to ID₁. 356-370
  Electronic Edition (Springer LINK) BibTeX
• Roman Kuznets:
  On the Complexity of Explicit Modal Logics. 371-383
  Electronic Edition (Springer LINK) BibTeX
• James Laird:
  Finite Models and Full Completeness. 384-398
  Electronic Edition (Springer LINK) BibTeX
• 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
  Electronic Edition (Springer LINK) BibTeX
• Alberto Momigliano:
  Elimination of Negation in a Logical Framework. 411-426
  Electronic Edition (Springer LINK) BibTeX
• Andrzej S. Murawski, C.-H. Luke Ong:
  Discreet Games, Light Affine Logic and PTIME Computation. 427-441
  Electronic Edition (Springer LINK) BibTeX
• Zhan Naijun:
  Completeness of Higher-Order Duration Calculus. 442-456
  Electronic Edition (Springer LINK) BibTeX
• Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl:
  Equational Termination by Semantic Labelling. 457-471
  Electronic Edition (Springer LINK) BibTeX
• Michel Parigot:
  On the Computational Interpretation of Negation. 472-484
  Electronic Edition (Springer LINK) BibTeX
• Marc Pauly:
  From Programs to Games: Invariance and Safety for Bisimulation. 485-496
  Electronic Edition (Springer LINK) BibTeX
• John Power, Edmund Robinson:
  Logical Relations and Data Abstraction. 497-511
  Electronic Edition (Springer LINK) BibTeX
• Peter Schuster:
  Elementary Choiceless Constructive Analysis. 512-526
  Electronic Edition (Springer LINK) BibTeX
• Rostislav E. Yavorsky:
  On the Logic of the Standard Proof Predicate. 527-541
  Electronic Edition (Springer LINK) BibTeX