Journal of Automated Reasoning (JAR), Volume 17

Volume 17, Number 1, August 1996

• Jian Zhang:
  Constructing Finite Algebras with FALCON. 1-22
  
• Larry Wos:
  The Power of Combining Resonance with Heat. 23-81
  
• Kenneth Kunen:
  The Semantics of Answer Literals. 83-95
  
• Philippe Codognet, Daniel Diaz:
  A Simple and Efficient Boolean Solver for Constraint Logic Programming. 97-129
  
• Paliath Narendran, Michaël Rusinowitch:
  Any Ground Associative-Commutative Theory Has a Finite Canonical System. 131-143
  

Volume 17, Number 2, October 1996

• Steve Linton, Duncan Shand:
  Some Group Theoretic Examples with Completion Theorem Provers. 145-169
  
• José Alberto Fernández, John Grant, Jack Minker:
  Model Theoretic Approach to View Updates in Deductive Databases. 171-197
  
• Michael Thielscher:
  On the Completeness of SLDENF-Resolution. 199-214
  
• Larry Wos:
  OTTER and the Moufang Identity Problem. 215-257
  

Volume 17, Number 3, December 1996

• Yannis Dimopoulos:
  On Computing Logic Programs. 259-289
  
• Lawrence C. Paulson, Krzysztof Grabczewski:
  Mechanizing Set Theory. 291-323
  
• Shang-Ching Chou, Xiao-Shan Gao:
  Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. 325-347
  
• Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
  Automated Generation of Readable Proofs with Geometric Invariants. 349-370
  
• Greg Sidebottom, William S. Havens:
  Nicolog: A Simple Yet Powerful cc(FD) Language. 371-403
  

Last update Tue Feb 14 04:19:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page