Journals in DBLP

J. Autom. Reasoning
1996, volume: 17, number: 1

1. Jian Zhang
   Constructing Finite Algebras with FALCON. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1996, v:17, n:1, pp:1-22 [Journal]
   
2. Larry Wos
   The Power of Combining Resonance with Heat. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1996, v:17, n:1, pp:23-81 [Journal]
   
3. Kenneth Kunen
   The Semantics of Answer Literals. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1996, v:17, n:1, pp:83-95 [Journal]
   
4. Philippe Codognet, Daniel Diaz
   A Simple and Efficient Boolean Solver for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1996, v:17, n:1, pp:97-129 [Journal]
   
5. Paliath Narendran, Michaël Rusinowitch
   Any Ground Associative-Commutative Theory Has a Finite Canonical System. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1996, v:17, n:1, pp:131-143 [Journal]