Journal of Automated Reasoning (JAR), Volume 33

Volume 33, Number 1, July 2004

• Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch:
  Unification Modulo ACUI Plus Distributivity Axioms. 1-28
  
• Lawrence C. Paulson:
  Organizing Numerical Theories Using Axiomatic Type Classes. 29-49
  
• Jürgen Zimmer, Erica Melis:
  Constraint Solving for Proof Planning. 51-88
  

Volume 33, Number 2, September 2004

• Chuck Liang, Gopalan Nadathur, Xiaochu Qi:
  Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. 89-132
  
• Nicolas Peltier:
  Representing and Building Models for Decidable Subclasses of Equational Clausal Logic. 133-170
  
• Monty Newborn, Zongyan Wang:
  Octopus: Combining Learning and Parallel Search. 171-218
  

Volume 33, Number 3-4, October 2004

• Deepak Kapur, Laurent Vigneron:
  Preface. 219-220
  
• Silvio Ghilardi:
  Model-Theoretic Methods in Combined Constraint Satisfiability. 221-249
  
• Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz:
  A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. 251-269
  
• Thierry Boy de la Tour, Mnacho Echenim:
  On the Complexity of Deduction Modulo Leaf Permutative Equations. 271-317
  
• Josef Urban:
  MPTP - Motivation, Implementation, First Experiments. 319-339
  
• Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong:
  Reachability Analysis over Term Rewriting Systems. 341-383
  

Last update Mon May 20 17:57:56 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page