18. CSL 2004:
Karpacz, Poland
Jerzy Marcinkowski,
Andrzej Tarlecki:
Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3210,
Springer 2004, ISBN
3-540-23024-6
Martin Hyland:
Abstract Interpretation of Proofs: Classical Propositional Calculus. 6-21 Dale Miller:
Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. 24
Hugo Gimbert:
Parity and Exploration Games on Infinite Graphs. 56-70 Pierre Hyvernat:
Predicate Transformers and Linear Logic: Yet Another Denotational Model. 115-129 Tjark Weber:
Towards Mechanized Program Verification with Separation Logic. 250-264 Patrick Maier:
Intuitionistic LTL and a New Characterization of Safety and Liveness. 295-309 Philipp Rohde:
Moving in a Crumbling Network: The Balanced Case. 310-324 Alan Skelley:
A Third-Order Bounded Arithmetic Theory for PSPACE. 340-354 Lutz Schröder:
The Logic of the Partial lambda-Calculus with Equality. 385-399 Agata Ciabattoni:
Automated Generation of Analytic Calculi for Logics with Linearity. 503-517
maintained by

, founded at
