Automated Deduction – CADE-20

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

  • Robert Nieuwenhuis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3632)

Table of contents

  1. Front Matter
  2. Evelyne Contejean, Pierre Corbineau
    Pages 7-22
  3. Christian Urban, Christine Tasson
    Pages 38-53
  4. Brigitte Pientka
    Pages 54-68
  5. Kaustuv Chaudhuri, Frank Pfenning
    Pages 69-83
  6. Serge Autexier
    Pages 84-98
  7. T. Lev-Ami, N. Immerman, T. Reps, M. Sagiv, S. Srivastava, G. Yorsh
    Pages 99-115
  8. Guillaume Dufay, Amy Felty, Stan Matwin
    Pages 116-130
  9. Ting Zhang, Henny B. Sipma, Zohar Manna
    Pages 131-148
  10. Jordi Levy, Joachim Niehren, Mateu Villaret
    Pages 149-163
  11. Sean Bechhofer, Ian Horrocks, Daniele Turi
    Pages 177-181
  12. Boris Konev, Frank Wolter, Michael Zakharyaschev
    Pages 182-203
  13. Ullrich Hustadt, Boris Konev, Renate A. Schmidt
    Pages 204-218
  14. Viorica Sofronie-Stokkermans
    Pages 219-234
  15. Claudio Castellini, Alan Smaill
    Pages 235-249
  16. Andreas Meier, Erica Melis
    Pages 250-254
  17. Randal E. Bryant, Sanjit A. Seshia
    Pages 255-259

About these proceedings

Keywords

Boolean algebra Erfüllbarkeitsproblem der Aussagenlogik algorithms automated code verification automated deduction automated reasoning complexity data structures formal verification logic logic programming meta theory modeling theorem proving verification

Editors and affiliations

  • Robert Nieuwenhuis
    • 1
  1. 1.Technical University of CataloniaBarcelona

Bibliographic information

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