Journals in DBLP

J. Autom. Reasoning
1993, volume: 11, number: 3

1. W. W. Bledsoe, Guohui Feng
   Set-Var. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:3, pp:293-314 [Journal]
   
2. Ross A. Overbeek
   The CADE-11 Competitions: A Personal View. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:3, pp:315-316 [Journal]
   
3. Ewing L. Lusk, William McCune
   Uniform Strategies: The CADE-11 Theorem Proving Contest. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:3, pp:317-331 [Journal]
   
4. Hantao Zhang
   Automated Proofs of Equality Problems in Overbeek's Competition. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:3, pp:333-351 [Journal]
   
5. Lawrence C. Paulson
   Set Theory for Verification: I. From Foundations to Functions. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:3, pp:353-389 [Journal]
   
6. Sidney C. Bailin, Dave Barker-Plummer
   Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:3, pp:391-428 [Journal]
   
7. Larry Wos
   The Problem of Induction. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:11, n:3, pp:433-434 [Journal]