Journal of Automated Reasoning (JAR), Volume 12

Volume 12, Number 1, 1994

• Eliezer L. Lozinskii:
  Resolving Contradictions: A Plausible Semantics for Inconsistent Systems. 1-32
  
• J. Strother Moore:
  Introduction to the OBDD Algorithm for the ATP Community. 33-46
  
• Taïeb Mellouli:
  TMPR: A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three - Valued Logic. 47-88
  
• Belaid Benhamou, Lakhdar Sais:
  Tractability Through Symmetries in Propositional Calculus. 89-102
  
• J. Stuart Aitken, Han Reichgelt, Nigel Shadbolt:
  Resolution Theorem Proving in Reified Modal Logics. 103-130
  

Volume 12, Number 2, 1994

• Ralph Butler, Ross A. Overbeek:
  Formula Databases for High-Performance Resolution/Paramodulation Systems. 139-156
  
• Seng-cho Timothy Chou, Marianne Winslett:
  A Model-Based Belief Revision System. 157-208
  
• Edmund K. Burke, Jieh Hsiang:
  On Subsumption in Distributed Derivations. 225-240
  
• Vincent J. Digricoli:
  The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems. 241-264
  

Volume 12, Number 3, 1994

• Tanel Tammet:
  Proof Sytrategies in Linear Logic. 273-304
  
• Louiqa Raschid, Jorge Lobo:
  A Semantics for a Class of Non-Deterministic and Causal Production System Programs. 305-349
  
• Giuseppa Carrà Ferro:
  An Extension of a Procedure to Prove Statements in Differential Geometry. 351-358
  
• Shie-Jue Lee, Chih-Hung Wu:
  Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures. 359-388
  
• Zhenyu Qian, Tobias Nipkow:
  Reduction and Unification in Lambda Calculi with a General Notion of Subtype. 389-406
  

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