Computer Science Logic

18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings

  • Jerzy Marcinkowski
  • Andrzej Tarlecki
Conference proceedings CSL 2004
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3210)

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Regular Papers

    1. Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdziński
      Pages 26-40
    2. Mikołaj Bojańczyk
      Pages 41-55
    3. Harald Ganzinger, Konstantin Korovin
      Pages 71-84
    4. George Metcalfe, Nicola Olivetti, Dov Gabbay
      Pages 85-99
    5. Jeremy E. Dawson, Rajeev Goré
      Pages 100-114
    6. Lutz Straßburger, François Lamarche
      Pages 145-159
    7. Neil Immerman, Alex Rabinovich, Tom Reps, Mooly Sagiv, Greta Yorsh
      Pages 160-174
    8. Marcelo Arenas, Pablo Barceló, Leonid Libkin
      Pages 175-189
    9. Andreas Abel, Ralph Matthes
      Pages 190-204
    10. Aleksy Schubert
      Pages 205-219
    11. Philippe de Groote, Sylvain Salvati
      Pages 220-234

About these proceedings

Keywords

3-SAT AI logics Erfüllbarkeitsproblem der Aussagenlogik calculus classical logic complexity computer science logic linear logic logic mathematical logic model checking proving term rewriting theorem proving verification

Editors and affiliations

  • Jerzy Marcinkowski
    • 1
  • Andrzej Tarlecki
    • 2
  1. 1.Wroclaw University 
  2. 2.Polish Academy of SciencesInstitute of Computer Science 

Bibliographic information

  • DOI https://doi.org/10.1007/b100120
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23024-3
  • Online ISBN 978-3-540-30124-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book