ask others

14. CSL 2000: Fischbachau, Germany

> Home > Conferences and Workshops > CSL

- no documents available
- export record
  dblp key:
  - conf/csl/2000
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/2000
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BlassG00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/BlassG00
Andreas Blass, Yuri Gurevich:
Background, Reserve, and Gandy Machines. 1-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BlassG00a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/BlassG00a
Andreas Blass, Yuri Gurevich:
Choiceless Polynominal Time Computation and the Zero-One Law. 18-40
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/BorgerS00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/BorgerS00
Egon Börger, Joachim Schmid:
Composition and Submachine Concepts for Sequential ASMs. 41-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Poizat00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Poizat00
Bruno Poizat:
Une tentative malheureuse do construire une structure éliminant rapidement les quanteurs. 61-70
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Schulte00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Schulte00
Wolfram Schulte:
Translating Theory into Practice - Abstract State Machines within Microsoft. 71
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Shelah00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Shelah00
Saharon Shelah:
Choiceless Polynominal Time Logic: Inability to Express. 72-125
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Stirling00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Stirling00
Colin Stirling:
Schema Revisited. 126-138
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Vardi00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csl/Vardi00
Moshe Y. Vardi:
Automated Verification = Graphs, Automata, and Logic. 139

Contributed Papers

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