Skip to main content
SpringerLink
Log in
Book cover

Automated Deduction - CADE-11

11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. Deepak Kapur
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (75 papers)

  1. Front Matter

    Download chapter PDF

  2. The impossibility of the automation of logical reasoning

    • Larry Wos
    Pages 1-3

  3. Automatic proofs in mathematical logic and analysis

    • Kurt Ammon
    Pages 4-19

  4. Proving geometry statements of constructive type

    • Shang -Ching Chou, Xiao -Shan Gao
    Pages 20-34

  5. The central variable strategy of str∔ve

    • L. M. Hines
    Pages 35-49

  6. Unification in the union of disjoint equational theories: Combining decision procedures

    • Franz Baader, Klaus U. Schulz
    Pages 50-65

  7. Reduction and unification in Lambda calculi with subtypes

    • Tobias Nipkow, Zhenyu Qian
    Pages 66-78

  8. A combinatory logic approach to higher-order E-unification (extended abstract)

    • Daniel J. Dougherty, Patricia Johann
    Pages 79-93

  9. Cycle unification

    • Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
    Pages 94-108

  10. A parallel completion procedure for term rewriting systems

    • Katherine A. Yelick, Stephen J. Garland
    Pages 109-123

  11. Grammar rewriting

    • David McAllester
    Pages 124-138

  12. Polynomial interpretations and the complexity of algorithms

    • Adam Cichon, Pierre Lescanne
    Pages 139-147

  13. Uniform traversal combinators: Definition, use and properties

    • Leonidas Fegaras, Tim Sheard, David Stemple
    Pages 148-162

  14. Sorted unification using set constraints

    • Tomás E. Uribe
    Pages 163-177

  15. An abstract view of sorted unification

    • Alan M. Frisch, Anthony G. Cohn
    Pages 178-192

  16. Unification in order-sorted algebras with overloading

    • Alexandre Boudet
    Pages 193-207

  17. Puzzles and paradoxes

    • Raymond M. Smullyan
    Pages 208-208

  18. Experiments in automated deduction with condensed detachment

    • William McCune, Larry Wos
    Pages 209-223

  19. Caching and lemmaizing in model elimination theorem provers

    • Owen L. Astrachan, Mark E. Stickel
    Pages 224-238

  20. LIM+ challenge problems by RUE hyper-resolution

    • Vincent J. Digricoli, Eugene Kochendorfer
    Pages 239-252
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation