Computer Science Logic

21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

  • Editors
  • Jacques Duparc
  • Thomas A. Henzinger
Conference proceedings CSL 2007

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

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Logic and Games

    1. Jan Obdržálek
      Pages 54-68
    2. Alexander Rabinovich, Wolfgang Thomas
      Pages 69-83
  4. Expressiveness

    1. Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
      Pages 99-114
    2. Olivier Finkel, Dominique Lecomte
      Pages 115-129
  5. Games and Trees

    1. Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
      Pages 130-145
    2. Mikołaj Bojańczyk
      Pages 146-160
    3. Arnaud Carayol, Christof Löding
      Pages 161-176
  6. Logic and Deduction

    1. Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc
      Pages 177-193
    2. Manuel Bodirsky, Hubie Chen
      Pages 194-207
    3. Guillaume Bagan, Arnaud Durand, Etienne Grandjean
      Pages 208-222
    4. Konstantin Korovin, Andrei Voronkov
      Pages 223-237

About these proceedings

Keywords

AI logics calculi classical logic complexity computational logic finite models heuristics lambda calculus linear logic logic nonclassical logic optimization program logic proof theory semantics

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74915-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74914-1
  • Online ISBN 978-3-540-74915-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book