Table of contents

  1. Front Matter
  2. Hantao Zhang, Deepak Kapur
    Pages 1-20
  3. Tie Cheng Wang
    Pages 21-40
  4. V. S. Subrahmanian
    Pages 81-100
  5. D. Duchier, D. McDermott
    Pages 121-130
  6. M. Heisel, W. Reif, W. Stephan
    Pages 131-140
  7. Donald Simon
    Pages 141-150
  8. Marc Bezem
    Pages 151-161
  9. Hantao Zhang, Deepak Kapur, Mukkai S. Krishnamoorthy
    Pages 162-181
  10. Jean Gallier, Paliath Narendran, David Plaisted, Stan Raatz, Wayne Snyder
    Pages 182-196
  11. Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
    Pages 197-217
  12. A. A. Aaby, K. T. Narayana
    Pages 218-237
  13. Douglas J. Howe
    Pages 238-257
  14. H. Azzoune
    Pages 258-277
  15. Jack Minker, Arcot Rajasekar
    Pages 278-293
  16. Shan Chi, Lawrence J. Henschen
    Pages 294-312
  17. T. Wakayama, T. H. Payne
    Pages 313-322
  18. Ralph M. Butler, Nicholas T. Karonis
    Pages 333-343
  19. Patrick Lincoln, Jim Christian
    Pages 358-367
  20. Wolfram Büttner
    Pages 368-377
  21. Karl Hans Bläsius, Jörg H. Siekmann
    Pages 397-414
  22. Rainer Manthey, François Bry
    Pages 415-434
  23. Richard C. Potter, David A. Plaisted
    Pages 435-453
  24. Bishop Brock, Shaun Cooper, William Pierce
    Pages 454-468
  25. Luis Fariñas del Cerro, Andreas Herzig
    Pages 487-499
  26. Hans Jürgen Ohlbach
    Pages 500-516
  27. Hans-Jürgen Bürckert
    Pages 517-526
  28. Emmanuel Kounalis, Michael Rusinowitch
    Pages 527-537
  29. Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
    Pages 538-549
  30. Philippe Besnard, Pierre Siegel
    Pages 592-601
  31. Leo Marcus, Timothy Redmond
    Pages 622-642
  32. Mark Franzen, Lawrence J. Henschen
    Pages 643-657
  33. Neil V. Murray, Erik Rosenthal
    Pages 658-674
  34. Ilkka Niemelä
    Pages 675-684
  35. Peter K. Malkin, Errol P. Martin
    Pages 685-693
  36. Rakesh M. Verma, I. V. Ramakrishnan
    Pages 694-703
  37. William McCune
    Pages 704-709

About these proceedings


This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.


Erfüllbarkeitsproblem der Aussagenlogik Isabelle Resolution algorithms automated deduction automated theorem proving logic proof theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19343-2
  • Online ISBN 978-3-540-39216-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site