Skip to main content
  • Conference proceedings
  • © 2003

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2803)

Conference series link(s): CSL: International Workshop on Computer Science Logic

Conference proceedings info: CSL 2003.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (48 papers)

  1. Front Matter

  2. Deciding Monotonic Games

    • Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso
    Pages 1-14
  3. The Commuting V-Diagram

    • Bernhard K. Aichernig
    Pages 15-28
  4. Concurrent Construction of Proof-Nets

    • Jean-Marc Andreoli, Laurent Mazaré
    Pages 29-42
  5. Constraint Satisfaction with Countable Homogeneous Templates

    • Manuel Bodirsky, Jaroslav Nešetřil
    Pages 44-57
  6. Quantified Constraints: Algorithms and Complexity

    • Ferdinand Börner, Andrei Bulatov, Peter Jeavons, Andrei Krokhin
    Pages 58-70
  7. Verification of Infinite State Systems

    • Ahmed Bouajjani
    Pages 71-71
  8. Parity of Imperfection or Fixing Independence

    • Julian C. Bradfield
    Pages 72-85
  9. Atomic Cut Elimination for Classical Logic

    • Kai Brünnler
    Pages 86-97
  10. Simple Stochastic Parity Games

    • Krishnendu Chatterjee, Marcin Jurdziński, Thomas A. Henzinger
    Pages 100-113
  11. Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

    • Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
    Pages 128-141
  12. Strong Normalization of the Typed λ ws -Calculus

    • René David, Bruno Guillaume
    Pages 155-168
  13. A Fixed-Point Logic with Symmetric Choice

    • Anuj Dawar, David Richerby
    Pages 169-182
  14. Positive Games and Persistent Strategies

    • Jacques Duparc
    Pages 183-196
  15. Refined Complexity Analysis of Cut Elimination

    • Philipp Gerhardy
    Pages 212-225

Other Volumes

  1. Computer Science Logic

About this book

 

This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.

The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.

Keywords

  • AI logics
  • Constraint Satisfaction
  • algorithm
  • algorithms
  • classical logic
  • complexity
  • computer science logic
  • higher order logic
  • logic
  • logical foundations
  • mathematical logic
  • model checking
  • proof theory
  • semantics
  • verification

Editors and Affiliations

  • Institute of Discrete Mathematics and Geometry, Technical University Vienna, Wien, Austria

    Matthias Baaz

  • Members of EACSL Jury for the Ackermann Award,  

    Johann A. Makowsky

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions