Table of contents

  1. Front Matter
  2. Eike Ritter, David Pym, Lincoln Wallen
    Pages 17-31
  3. Andrew Ireland, Alan Bundy
    Pages 47-61
  4. Jörg Denzinger, Stephan Schulz
    Pages 62-76
  5. Martin Protzen
    Pages 77-91
  6. Erica Melis, Jon Whittle
    Pages 92-105
  7. Thomas Kolbe, Christoph Walther
    Pages 106-120
  8. Fausto Giunchiglia, Adolfo Villafiorita
    Pages 136-140
  9. Christoph Weidenbach, Bernd Gaede, Georg Rock
    Pages 141-145
  10. Christian B. Suttner, Geoff Sutcliffe
    Pages 146-160
  11. Hans Jürgen Ohlbach
    Pages 161-165
  12. Dongming Wang
    Pages 166-170
  13. David Basin, Seán Matthews
    Pages 171-185
  14. Ole Rasmussen
    Pages 186-200
  15. Peter V. Homeier, David F. Martin
    Pages 201-215
  16. Giovanni Felici, Giovanni Rinaldi, Klaus Truemper
    Pages 216-220
  17. Xiaorong Huang, Armin Fiedler
    Pages 221-225
  18. Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
    Pages 226-230
  19. Janet Bertot, Yves Bertot
    Pages 231-234
  20. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
    Pages 235-239
  21. Miki Hermann, Phokion G. Kolaitis
    Pages 246-260
  22. Qing Guo, Paliath Narendran, D. A. Wolfram
    Pages 261-274
  23. Dieter Hutter, Claus Sengler
    Pages 288-292
  24. Torsten Schaub, Stefan Brüning, Pascal Nicolas
    Pages 293-297
  25. William M. Farmer, Joshua D. Guttman, F. Javier Thayer Fábrega
    Pages 298-302
  26. Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann
    Pages 303-307
  27. Jian Zhang, Hantao Zhang
    Pages 308-312
  28. John Harrison
    Pages 313-327
  29. Konstantinos Sagonas, Terrance Swift, David S. Warren
    Pages 328-342
  30. Christoph Weidenbach
    Pages 343-357
  31. Aart Middeldorp, Hitoshi Ohsaki, Hans Zantema
    Pages 373-387
  32. Harald Ganzinger, Uwe Waldmann
    Pages 388-402
  33. Stephan Schmitt, Christoph Kreitz
    Pages 418-432
  34. Heribert Schütz, Tim Geisler
    Pages 433-447
  35. Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand
    Pages 448-462
  36. David Cyrluk, Patrick Lincoln, Natarajan Shankar
    Pages 463-477
  37. Olivier Roussel, Philippe Mathieu
    Pages 493-507
  38. Wayne Snyder, James G. Schmolze
    Pages 508-522
  39. Deepak Kapur, M. Subramaniam
    Pages 538-552

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.


Automatische Deduktion Automatisches Schliessen Informatiklogik KI-Logik Theorembeweisen atrificial intelligence logic automated deduction automated reasoning grammar knowledge learning logic programming proving search strategy verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61511-8
  • Online ISBN 978-3-540-68687-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences