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

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
  • About this book