Journals in DBLP

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

1. Larry Wos
   The Kernel Strategy and Its Use for the Study of Combinatory Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:10, n:3, pp:287-343 [Journal]
   
2. James J. Lu, Monica D. Barback, Lawrence J. Henschen
   Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:10, n:3, pp:345-370 [Journal]
   
3. James J. Lu, V. S. Subrahmanian
   Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:10, n:3, pp:371-388 [Journal]
   
4. Joachim Steinbach
   Simplification Orderings: Putting Them to the Test. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:10, n:3, pp:389-397 [Journal]
   
5. Chitta Baral, V. S. Subrahmanian
   Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. [Citation Graph (2, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:10, n:3, pp:399-420 [Journal]
   
6. Larry Wos
   The Problem of Reasoning by Analogy. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1993, v:10, n:3, pp:421-422 [Journal]