17. CSL 2003: Vienna, Austria

@proceedings{DBLP:conf/csl/2003,
  editor    = {Matthias Baaz and
               Johann A. Makowsky},
  title     = {Computer Science Logic, 17th International Workshop, CSL 2003,
               12th Annual Conference of the EACSL, and 8th Kurt G{\"o}del
               Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
  booktitle = {CSL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2803},
  year      = {2003},
  isbn      = {3-540-40801-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso:
  Deciding Monotonic Games. 1-14
  Electronic Edition (link) BibTeX
• Bernhard K. Aichernig:
  The Commuting V-Diagram. 15-28
  Electronic Edition (link) BibTeX
• Jean-Marc Andreoli, Laurent Mazaré:
  Concurrent Construction of Proof-Nets. 29-42
  Electronic Edition (link) BibTeX
• Sergei N. Artëmov:
  Back to the Future: Explicit Logic for Computer Science (Invited Lecture). 43
  Electronic Edition (link) BibTeX
• Manuel Bodirsky, Jaroslav Nesetril:
  Constraint Satisfaction with Countable Homogeneous Templates. 44-57
  Electronic Edition (link) BibTeX
• Ferdinand Börner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin:
  Quantified Constraints: Algorithms and Complexity. 58-70
  Electronic Edition (link) BibTeX
• Ahmed Bouajjani:
  Verification of Infinite State Systems (Tutorial). 71
  Electronic Edition (link) BibTeX
• Julian C. Bradfield:
  Parity of Imperfection of Fixing Independence. 72-85
  Electronic Edition (link) BibTeX
• Kai Brünnler:
  Atomic Cut Elimination for classical Logic. 86-97
  Electronic Edition (link) BibTeX
• Bruno Buchberger:
  Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). 98-99
  Electronic Edition (link) BibTeX
• Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger:
  Simple Stochastic Parity Games. 100-113
  Electronic Edition (link) BibTeX
• Yijia Chen, Jörg Flum:
  Machine Characterization of the Classes of the W-Hierarchy. 114-127
  Electronic Edition (link) BibTeX
• Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron:
  Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. 128-141
  Electronic Edition (link) BibTeX
• Stefan S. Dantchev, Søren Riis:
  On Relativisation and Complexity Gap. 142-154
  Electronic Edition (link) BibTeX
• René David, Bruno Guillaume:
  Strong Normalization of the Typed gamma_ws-Calculus. 155-168
  Electronic Edition (link) BibTeX
• Anuj Dawar, David Richerby:
  A Fixed-Point Logic with Symmetric Choice. 169-182
  Electronic Edition (link) BibTeX
• Jacques Duparc:
  Positive Games and Persistent Strategies. 183-196
  Electronic Edition (link) BibTeX
• Thomas Eiter, Kazuhisa Makino:
  Generating All Abductive Explanations for Queries on Propositional Horn Theories. 197-211
  Electronic Edition (link) BibTeX
• Philipp Gerhardy:
  Refined Complexity Analysis of Cut Elimination. 212-225
  Electronic Edition (link) BibTeX
• Martin Grohe, Nicole Schweikardt:
  Comparing the Succinctness of Monadic Query Languages over Finite Trees. 226-240
  Electronic Edition (link) BibTeX
• John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn:
  The Arithmetical Complexity of Dimension and Randomness. 241-254
  Electronic Edition (link) BibTeX
• Rosalie Iemhoff:
  Towards a Proof System for Admissibility. 255-270
  Electronic Edition (link) BibTeX
• Detlef Kähler, Thomas Wilke:
  Program Complexity of Dynamic LTL Model Checking. 271-284
  Electronic Edition (link) BibTeX
• Max I. Kanovich, Jacqueline Vauzeilles:
  Coping Polynomially with Numerous but Identical Elements within Planning Problems. 285-298
  Electronic Edition (link) BibTeX
• Bakhadyr Khoussainov:
  On Algebraic Specifications of Abstract Data Types. 299-313
  Electronic Edition (link) BibTeX
• Phokion G. Kolaitis, Jonathan Panttaja:
  On the Complexity of Existential Pebble Games. 314-329
  Electronic Edition (link) BibTeX
• Margarita V. Korovina:
  Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. 330-344
  Electronic Edition (link) BibTeX
• Lars Kristiansen, Paul J. Voda:
  The Surprising Power of Restricted Programs and Gödel's Functionals. 345-358
  Electronic Edition (link) BibTeX
• Lukasz Krzeszczakowski:
  Pebble Games on Trees. 359-371
  Electronic Edition (link) BibTeX
• James Laird:
  Bistability: An Extensional Characterization of Sequentiality. 372-383
  Electronic Edition (link) BibTeX
• Hans Leiß, Michel de Rougemont:
  Automata on Lempel-ziv Compressed Strings. 384-396
  Electronic Edition (link) BibTeX
• Larisa Maksimova, Andrei Voronkov:
  Complexity of Some Problems in Modal and Intuitionistic Calculi. 397-412
  Electronic Edition (link) BibTeX
• George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
  Goal-Directed Calculli for Gödel-Dummett Logics. 413-426
  Electronic Edition (link) BibTeX
• Ron van der Meyden, Manas Patra:
  A Logic for Probability in Quantum Systems. 427-440
  Electronic Edition (link) BibTeX
• Alexandre Miquel:
  A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. 441-454
  Electronic Edition (link) BibTeX
• Georg Moser, Richard Zach:
  The Epsilon Calculus (Tutorial). 455
  Electronic Edition (link) BibTeX
• Bernhard Reus:
  Modular Semantics and Logics of Classes. 456-469
  Electronic Edition (link) BibTeX
• Marko Samer, Helmut Veith:
  Validity of CTL Queries Revisited. 470-483
  Electronic Edition (link) BibTeX
• Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi:
  Calculi of Meta-variables. 484-497
  Electronic Edition (link) BibTeX
• Lutz Schröder:
  Henkin Models of the Partial sigma-Calculus. 498-512
  Electronic Edition (link) BibTeX
• Christian Urban, Andrew M. Pitts, Murdoch Gabbay:
  Nominal Unificaiton. 513-527
  Electronic Edition (link) BibTeX
• Helmut Veith:
  Friends or Foes? Communities in Software Verification (Invited Lecture). 528-529
  Electronic Edition (link) BibTeX
• Kess F. M. Vermeulen:
  More Computation Power for a Denotational Semantics for First Order Logic. 530-543
  Electronic Edition (link) BibTeX
• Nicolai Vorobjov:
  Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture). 544
  Electronic Edition (link) BibTeX
• Nicolai Vorobjov:
  Effective Quantifier Elimination over Real Closed Fields (Tutorial). 545
  Electronic Edition (link) BibTeX
• Tatiana Rybina, Andrei Voronkov:
  Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). 546-573
  Electronic Edition (link) BibTeX
• Igor Walukiewicz:
  Winning Strategies and Synthesis of Controllers (Tutorial). 574
  Electronic Edition (link) BibTeX
• Yu Zhang, David Nowak:
  Logical Relations for Dynamic Name Creation. 575-588
  Electronic Edition (link) BibTeX