Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings > Primal grammars and unification modulo a binary clause
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings |
Alan Bundy
Springer Berlin Heidelberg
Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Primal grammars and unification modulo a binary clause
Authors

Gernot Salzer

ARI Id

1674219789364_3384591

Access

Not Available Free

Pages

282-295

DOI

10.1007/3-540-58156-1_20

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-58156-1_20

Table of Contents of Book
Showing 1 to 20 of 74 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
The crisis in finite mathematics: Automated reasoning as cause and cure
John Slaney
1-13
A divergence critic
Toby Walsh
14-28
Synthesis of induction orderings for existence proofs
Dieter Hutter
29-41
Lazy generation of induction hypotheses
Martin Protzen
42-56
The search efficiency of theorem proving strategies
David A. Plaisted
57-71
A method for building models automatically. Experiments with an extension of OTTER
Christophe Bourely; Ricardo Caferra; Nicolas Peltier
72-86
Model elimination without contrapositives
Peter Baumgartner; Ulrich Furbach
87-101
Induction using term orderings
Francois Bronsard; Uday S. Reddy; Robert W. Hasker
102-117
Mechanizable inductive proofs for a class of ∀ ∃ formulas
Jacques Chazarain; Emmanuel Kounalis
118-132
On the connection between narrowing and proof by consistency
Olav Lysne
133-147
A fixedpoint approach to implementing (Co)inductive definitions
Lawrence C. Paulson
148-161
On notions of inductive validity for first-order equational clauses
Claus-Peter Wirth; Bernhard Gramlich
162-176
A new application for explanation-based generalisation within automated deduction
S. Baker
177-191
Semantically guided first-order theorem proving using hyper-linking
Heng Chu; David A. Plaisted
192-206
The applicability of logic program analysis and transformation to theorem proving
D. A. de Waal; J. P. Gallagher
207-221
Detecting non-provable goals
Stefan Brüning
222-236
A mechanically proof-checked encyclopedia of mathematics: Should we build one? Can we?
Robert S. Boyer
237-251
The TPTP problem library
Geoff Sutcliffe; Christian Suttner; Theodor Yemenis
252-266
Combination techniques for non-disjoint equational theories
Eric Domenjoud; Francis Klay; Christophe Ringeissen
267-281
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 74 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings