Skip to main content
SpringerLink
Log in

Automated Deduction — CADE-12

12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Alan Bundy
    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 814)

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

Included in the following conference series:

Conference proceedings info: CADE 1994.

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 54.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 (72 papers)

  1. Front Matter

    Download chapter PDF

  2. The crisis in finite mathematics: Automated reasoning as cause and cure

    • John Slaney
    Pages 1-13

  3. A divergence critic

    • Toby Walsh
    Pages 14-28

  4. Synthesis of induction orderings for existence proofs

    • Dieter Hutter
    Pages 29-41

  5. Lazy generation of induction hypotheses

    • Martin Protzen
    Pages 42-56

  6. The search efficiency of theorem proving strategies

    • David A. Plaisted
    Pages 57-71

  7. A method for building models automatically. Experiments with an extension of OTTER

    • Christophe Bourely, Ricardo Caferra, Nicolas Peltier
    Pages 72-86

  8. Model elimination without contrapositives

    • Peter Baumgartner, Ulrich Furbach
    Pages 87-101

  9. Induction using term orderings

    • Francois Bronsard, Uday S. Reddy, Robert W. Hasker
    Pages 102-117

  10. Mechanizable inductive proofs for a class of ∀ ∃ formulas

    • Jacques Chazarain, Emmanuel Kounalis
    Pages 118-132

  11. On the connection between narrowing and proof by consistency

    • Olav Lysne
    Pages 133-147

  12. A fixedpoint approach to implementing (Co)inductive definitions

    • Lawrence C. Paulson
    Pages 148-161

  13. On notions of inductive validity for first-order equational clauses

    • Claus-Peter Wirth, Bernhard Gramlich
    Pages 162-176

  14. A new application for explanation-based generalisation within automated deduction

    • S. Baker
    Pages 177-191

  15. Semantically guided first-order theorem proving using hyper-linking

    • Heng Chu, David A. Plaisted
    Pages 192-206

  16. The applicability of logic program analysis and transformation to theorem proving

    • D. A. de Waal, J. P. Gallagher
    Pages 207-221

  17. Detecting non-provable goals

    • Stefan Brüning
    Pages 222-236

  18. A mechanically proof-checked encyclopedia of mathematics: Should we build one? Can we?

    • Robert S. Boyer
    Pages 237-251

  19. The TPTP problem library

    • Geoff Sutcliffe, Christian Suttner, Theodor Yemenis
    Pages 252-266

  20. Combination techniques for non-disjoint equational theories

    • Eric Domenjoud, Francis Klay, Christophe Ringeissen
    Pages 267-281
Back to top

Other volumes

  1. Automated Deduction — CADE-12

Keywords

About this book

This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.
The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation