Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings > A report on ICL HOL
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings |
Deepak Kapur
Springer Berlin Heidelberg
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
A report on ICL HOL
Authors

K. Blackburn

ARI Id

1674219742538_3240032

Access

Open/Free Access

Pages

743-747

DOI

10.1007/3-540-55602-8_216

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-55602-8_216

Table of Contents of Book
Showing 1 to 20 of 77 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
The impossibility of the automation of logical reasoning
Larry Wos
1-3
Automatic proofs in mathematical logic and analysis
Kurt Ammon
4-19
Proving geometry statements of constructive type
Shang -Ching Chou; Xiao -Shan Gao
20-34
The central variable strategy of str∔ve
L. M. Hines
35-49
Unification in the union of disjoint equational theories: Combining decision procedures
Franz Baader; Klaus U. Schulz
50-65
Reduction and unification in Lambda calculi with subtypes
Tobias Nipkow; Zhenyu Qian
66-78
A combinatory logic approach to higher-order E-unification (extended abstract)
Daniel J. Dougherty; Patricia Johann
79-93
Cycle unification
Wolfgang Bibel; Steffen Hölldobler; Jörg Würtz
94-108
A parallel completion procedure for term rewriting systems
Katherine A. Yelick; Stephen J. Garland
109-123
Grammar rewriting
David McAllester
124-138
Polynomial interpretations and the complexity of algorithms
Adam Cichon; Pierre Lescanne
139-147
Uniform traversal combinators: Definition, use and properties
Leonidas Fegaras; Tim Sheard; David Stemple
148-162
Sorted unification using set constraints
Tomás E. Uribe
163-177
An abstract view of sorted unification
Alan M. Frisch; Anthony G. Cohn
178-192
Unification in order-sorted algebras with overloading
Alexandre Boudet
193-207
Puzzles and paradoxes
Raymond M. Smullyan
208-208
Experiments in automated deduction with condensed detachment
William McCune; Larry Wos
209-223
Caching and lemmaizing in model elimination theorem provers
Owen L. Astrachan; Mark E. Stickel
224-238
LIM+ challenge problems by RUE hyper-resolution
Vincent J. Digricoli; Eugene Kochendorfer
239-252
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 77 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings