Journals in DBLP

J. Autom. Reasoning
2002, volume: 28, number: 5

1. Teodor Knapik
   Checking Simple Properties of Transition Systems Defined by Thue Specifications. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:5, pp:337-369 [Journal]
   
2. John N. Hooker, G. Rago, V. Chandru, A. Shrivastava
   Partial Instantiation Methods for Inference in First-Order Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:5, pp:371-396 [Journal]
   
3. Angelo Montanari, Alberto Policriti, Matteo Slanina
   Alternative Translation Techniques for Propositional and First-Order Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:5, pp:397-415 [Journal]
   
4. Eugene Goldberg
   Proving Unsatisfiability of CNFs Locally. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:5, pp:417-434 [Journal]