17. CSL 2003:
Vienna, Austria Matthias Baaz , Johann A. Makowsky (Eds.):
Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings.
Lecture Notes in Computer Science 2803 Springer 2003, ISBN 3-540-40801-0
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sergei N. Artëmov :
Back to the Future: Explicit Logic for Computer Science (Invited Lecture).
43
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:
Kai Brünnler :
Atomic Cut Elimination for classical Logic.
86-97
export record as
dblp key:
Bruno Buchberger :
Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture).
98-99
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:
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:
Margarita V. Korovina :
Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test.
330-344
export record as
dblp key:
export record as
dblp key:
conf/csl/Krzeszczakowski03 export record as
dblp key:
James Laird :
Bistability: An Extensional Characterization of Sequentiality.
372-383
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:
Alexandre Miquel :
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory.
441-454
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:
Lutz Schröder :
Henkin Models of the Partial sigma-Calculus.
498-512
export record as
dblp key:
export record as
dblp key:
Helmut Veith :
Friends or Foes? Communities in Software Verification (Invited Lecture).
528-529
export record as
dblp key:
Kess F. M. Vermeulen :
More Computation Power for a Denotational Semantics for First Order Logic.
530-543
export record as
dblp key:
Nicolai Vorobjov :
Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture).
544
export record as
dblp key:
Nicolai Vorobjov :
Effective Quantifier Elimination over Real Closed Fields (Tutorial).
545
export record as
dblp key:
export record as
dblp key:
Igor Walukiewicz :
Winning Strategies and Synthesis of Controllers (Tutorial).
574
export record as
dblp key:
data released under the ODC-BY 1.0 license
