Journal 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
  

Last update Fri May 24 20:31:35 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page