Automated Deduction – CADE-20

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

  • Robert Nieuwenhuis
Conference proceedings CADE 2005

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
  18. Viktor Kuncak, Huu Hai Nguyen, Martin Rinard
    Pages 260-277
  19. Franz Baader, Silvio Ghilardi
    Pages 278-294
  20. Sean McLaughlin, John Harrison
    Pages 295-314
  21. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz et al.
    Pages 315-321
  22. Kumar Neeraj Verma, Helmut Seidl, Thomas Schwentick
    Pages 337-352
  23. Greta Yorsh, Madanlal Musuvathi
    Pages 353-368
  24. Marco Benedetti
    Pages 369-376
  25. Peter Baumgartner, Cesare Tinelli
    Pages 392-408
  26. Christian G. Fermüller, Reinhard Pichler
    Pages 409-423
  27. Mizuhito Ogawa, Eiichi Horita, Satoshi Ono
    Pages 424-440
  28. Alex Sinner, Thomas Kleemann
    Pages 452-457
  29. Back Matter

About these proceedings


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

Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences