default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning (JAR), Volume 18
Volume 18, Number 1, February 1997
- Larry M. Hines:
A Tribute to Woody Bledsoe. 1-4 - Rong-Huei Hou, Tzung-Pei Hong, Shian-Shyong Tseng, Sy-Yen Kuo
:
A New Probabilistic Induction Method. 5-24 - Grigoris Antoniou, Elmar Langetepe:
A Correct Logic Programming Computation of Default Logic Extensions. 25-46 - Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray:
Fast Subsumption Checks Using Anti-Links. 47-83 - Simon Finn, Michael P. Fourman, John Longley:
Partial Functions in a Total Setting. 85-104 - Li Dafa:
Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving. 105-134 - Francis Jeffry Pelletier, Geoff Sutcliffe:
An Erratum for Some Errata to ATP Problems. 135
Volume 18, Number 2, April 1997
- Geoff Sutcliffe, Christian B. Suttner:
The CADE-13 ATP System Competition. 137-138 - Geoff Sutcliffe, Christian B. Suttner:
The Design of the CADE-13 ATP System Competition. 139-162 - Geoff Sutcliffe, Christian B. Suttner:
The Procedures of the CADE-13 ATP System Competition. 163-169 - Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo:
Barcelona. 171-176 - Geoffrey D. Alexander:
CLIN-E - Smallest Instance First Hyper-Linking. 177-182 - Heng Chu, David A. Plaisted:
CLIN-S - A Semantically Guided First-Order Theorem Prover. 183-188 - Jörg Denzinger, Martin Kronenburg, Stephan Schulz:
DISCOUNT - A Distributed and Learning Equational Prover. 189-198 - Tanel Tammet:
Gandalf. 199-204 - Reinhold Letz:
LINUS - A Link Instantion Prover with Unit Support. 205-210 - William McCune, Larry Wos:
Otter - The CADE-13 Competition Incarnations. 211-220 - M. Paramasivam, David A. Plaisted:
RRTP - A Replacement Rule Theorem Prover. 221-226 - Tim Geisler, Sven Panne, Heribert Schütz:
Satchmo - The Compiling and Functional Variants. 227-236 - Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr:
SETHEO and E-SETHEO - The CADE-13 Systems. 237-246 - Christoph Weidenbach:
SPASS - Version 0.49. 247-252 - Christian B. Suttner:
SPTHEO - A Parallel Theorem Prover. 253-258 - Steve Greenbaum:
Violet. 259-264 - Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner:
WALDMEISTER - High-Performance Equational Deduction. 265-270 - Geoff Sutcliffe, Christian B. Suttner:
The Results - of the CADE-13 ATP System Competition. 271-286 - Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner:
Conclusions about the CADE-13 ATP System Competition. 287-296
Volume 18, Number 3, June 1997
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
Computing Circumscription Revisited: A Reduction Algorithm. 297-336 - Anavai Ramesh, George Becker, Neil V. Murray:
CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates. 337-356 - Marek A. Suchenek:
Evaluation of Queries under Closed-World Assumption. 357-398 - Dieter Hutter:
Coloring Terms to Control Equational Reasoning. 399-442
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-22 00:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
