Advertisement

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
    11. Stephen Cook, Lila Fontes
      Pages 245-259
    12. Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Toruńczyk
      Pages 260-274
    13. Kord Eickmeyer, Martin Grohe
      Pages 275-289
    14. José Espírito Santo
      Pages 290-304
    15. Bernd Finkbeiner, Sven Schewe
      Pages 305-319
    16. Marcelo Fiore, Chung-Kil Hur
      Pages 320-335
    17. Neil Ghani, Patricia Johann, Clément Fumex
      Pages 336-350
    18. Beniamino Accattoli, Delia Kesner
      Pages 381-395
    19. Dietrich Kuske, Jiamou Liu, Markus Lohrey
      Pages 396-410
    20. Peter Lohmann, Heribert Vollmer
      Pages 411-425
    21. Yavor Nenov, Ian Pratt-Hartmann
      Pages 439-453
    22. Fredrik Nordvall Forsberg, Anton Setzer
      Pages 454-468
    23. Thomas Schwentick, Thomas Zeume
      Pages 499-513
    24. Christian Sternagel, René Thiemann
      Pages 514-528
    25. Pierre-Yves Strub
      Pages 529-543
  4. Ackermann Award

    1. Johann A. Makowsky, Damian Niwinski
      Pages 544-546
  5. Back Matter

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
  • Buy this book on publisher's site