Literature Review -- Smart Switched Automated Theorem Proving System

Literature Review -- Smart Switched Automated Theorem Proving System (1998)

Cached

Download Links

[www.cs.jcu.edu.au]

by Darryl Seyfang

BibTeX

@MISC{Seyfang98literaturereview,
    author = {Darryl Seyfang},
    title = {Literature Review -- Smart Switched Automated Theorem Proving System},
    year = {1998}
}

Bookmark

OpenURL

Abstract

Citations

829	A Machine–oriented Logic Based on the Resolution Principle - Robinson - 1965
448	Simple Word Problems in Universal Algebra - Knuth, Bendix - 1970
254	Otter 3.0 Reference Manual and Guide - McCune - 1994
211	Automated Theorem Proving: A Logical Basis - Loveland - 1987
140	Automated Theorem Proving - Bibel - 1987
120	Completion without failure - Bachmair, Dershowitz, et al. - 1989
66	Automated Reasoning: 33 Basic Research Problems - Wos - 1988
51	Spass & flotter version 0.42 - Weidenbach, Gaede, et al.
46	Automatic deduction with hyper-resolution - Robinson - 1965
40	Eliminating duplication with the hyper-linking strategy - Lee, Plaisted - 1992
31	The concept of demodulation in theorem proving - Wos, Robinson, et al. - 1967
30	Semantically guided first-order theorem proving using hyper-linking - Chu, Plaisted - 1994
27	Complexity and related enhancements for automated theorem-proving programs - McCharen, Overbeek, et al. - 1976
24	The CADE ATP system competition - Sutcliffe - 2009
21	The unit proof and the input proof in theorem proving - Chang - 1970
19	A linear format for resolution - Loveland - 1970
14	WALDMEISTER: Development of a High Performance Completion-Based Theorem - Buch, Hillenbrand - 1996
11	FINDER: Finite Domain Enumerator. Version 3.0 notes and guide - Slaney - 1993
11	The Results - of the CADE-13 - Sutcliffe, Suttner - 1997
7	The Design of the CADE-13 - B, Sutcliffe - 1997
5	A Survey of Automated Deduction - Bledsoe, Hodges - 1988
1	Heribert: Satchmo, Journal of Automated Reasoning 18(2 - Geisler, Panne, et al. - 1997
1	al.: WALDMEISTER, Journal of Automated Reasoning 18(2 - Hillenbrand, et - 1997
1	The Resolution Calculus, Springer-Verlag - Leitsch - 1997
1	Journal of Automated Reasoning 18(2 - McCune - 1997
1	Journal of Automated Reasoning 18(2 - Moser - 1997
1	PROTEIN A PROver with a Theory Extension Interface - Schafer - 1996
1	Graduate texts in Computer Science, Deduction Systems - Socher-Ambrosius, Johann - 1996
1	E.: Lecture Notes in Computer Science, An Introduction to Automated deduction - Stickel - 1986
1	E.: Technical Note 464, A Prolog Technology Theorem - Stickel - 1989
1	Logic & Prolog Lecture Notes - Sutcliffe - 1997
1	Classical ATP: Lecture Notes - Sutcliffe - 1997
1	The TPTP Problem Library for Auto mated Theorem Proving - Sutcliffe, Suttner - 1997
1	Journal of Automated Reasoning 18(2 - Weidenbach - 1997