14. CSL 2000:
Fischbachau, Germany Peter Clote , Helmut Schwichtenberg (Eds.):
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
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bruno Poizat :
Une tentative malheureuse do construire une structure éliminant rapidement les quanteurs.
61-70
export record as
dblp key:
Wolfram Schulte :
Translating Theory into Practice - Abstract State Machines within Microsoft.
71
export record as
dblp key:
Saharon Shelah :
Choiceless Polynominal Time Logic: Inability to Express.
72-125
export record as
dblp key:
export record as
dblp key:
Moshe Y. Vardi :
Automated Verification = Graphs, Automata, and Logic.
139
Contributed Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Albert Atserias :
The Descriptive Comlexity of the Fixed-Points of Bounded Formulas.
172-186
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Zoltán Ésik :
Axiomatizing the Least Fixed Point Operation and Binary Supremum.
302-316
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mathieu Jaume :
Logic Programming and Co-inductive Definitions.
343-355
export record as
dblp key:
export record as
dblp key:
Roman Kuznets :
On the Complexity of Explicit Modal Logics.
371-383
export record as
dblp key:
James Laird :
Finite Models and Full Completeness.
384-398
export record as
dblp key:
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
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Zhan Naijun :
Completeness of Higher-Order Duration Calculus.
442-456
export record as
dblp key:
export record as
dblp key:
Michel Parigot :
On the Computational Interpretation of Negation.
472-484
export record as
dblp key:
Marc Pauly :
From Programs to Games: Invariance and Safety for Bisimulation.
485-496
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
