Computer Science Logic

24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

  • Anuj Dawar
  • Helmut Veith
Conference proceedings CSL 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6247)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Contributed Papers

    1. Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky
      Pages 52-66
    2. Matthias Baaz, Christian G. Fermüller
      Pages 67-79
    3. Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin
      Pages 80-94
    4. Aditi Barthwal, Michael Norrish
      Pages 95-109
    5. Michael Benedikt, Clemens Ley, Gabriele Puppis
      Pages 110-124
    6. Alessandro Bianco, Fabio Mogavero, Aniello Murano
      Pages 125-139
    7. Andreas Blass, Nachum Dershowitz, Yuri Gurevich
      Pages 140-154
    8. Guillaume Burel
      Pages 155-169
    9. Alberto Carraro, Thomas Ehrhard, Antonino Salibra
      Pages 170-184
    10. Martin Churchill, James Laird
      Pages 215-229

About these proceedings

Keywords

Action Constraint complexity logic nonmonotonic reasoning programming proof theory proving verification

Editors and affiliations

  • Anuj Dawar
    • 1
  • Helmut Veith
    • 2
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeUK
  2. 2.Formal Methods in Systems EngineeringVienna University of TechnologyViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15205-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15204-7
  • Online ISBN 978-3-642-15205-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book