Table of contents

  1. Front Matter
  2. Shang -Ching Chou, Xiao -Shan Gao
    Pages 20-34
  3. Tobias Nipkow, Zhenyu Qian
    Pages 66-78
  4. Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
    Pages 94-108
  5. Katherine A. Yelick, Stephen J. Garland
    Pages 109-123
  6. David McAllester
    Pages 124-138
  7. Adam Cichon, Pierre Lescanne
    Pages 139-147
  8. Leonidas Fegaras, Tim Sheard, David Stemple
    Pages 148-162
  9. Tomás E. Uribe
    Pages 163-177
  10. Alan M. Frisch, Anthony G. Cohn
    Pages 178-192
  11. Raymond M. Smullyan
    Pages 208-208
  12. William McCune, Larry Wos
    Pages 209-223
  13. Owen L. Astrachan, Mark E. Stickel
    Pages 224-238
  14. Vincent J. Digricoli, Eugene Kochendorfer
    Pages 239-252
  15. Peter Jackson
    Pages 253-267
  16. Geoff Sutcliffe
    Pages 268-280
  17. David Basin, Toby Walsh
    Pages 295-309
  18. Jane Hesketh, Alan Bundy, Alan Smaill
    Pages 310-324
  19. Toby Walsh, Alex Nunes, Alan Bundy
    Pages 325-339
  20. Martin Protzen
    Pages 340-354
  21. Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa
    Pages 400-415
  22. Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder
    Pages 462-476
  23. Robert Nieuwenhuis, Albert Rubio
    Pages 477-491
  24. Zohar Manna, Richard Waldinger
    Pages 492-506
  25. Bernhard Beckert, Reiner Hähnle
    Pages 507-521
  26. Frank Pfenning, Ekkehard Rohwedder
    Pages 537-551
  27. William M. Farmer, Joshua D. Guttman, F. Javier Thayer
    Pages 567-581
  28. Nachum Dershowitz, Subrata Mitra, G. Sivakumar
    Pages 589-602
  29. R. C. Sekar, I. V. Ramakrishnan
    Pages 618-632
  30. Konstantine Vershinin, Igor Romanenko
    Pages 663-667

About these proceedings


This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; unification theory; constraint solving; logic programing; verification; multivalued, temporal and nonclassical logics; non-monotonic reasoning; planning; proof theory; higher-order logics; and inductive theorem proving. Each submission was reviewed by at least three program committee members and 46 papers were selected for presentation and publication. This volume also contains short descriptions of 23 implementations of automated deduction systems. The volume opens with a keynote address by Larry Wos, winner of the first Herbrand Award for Distinguished Contributions to Automated Reasoning.


Automat Resolution automated deduction automated reasoning logic nonmonotonic reasoning proof theory proving theorem proving verification

Bibliographic information

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