Journals in DBLP

J. Autom. Reasoning
1994, volume: 13, number: 3

1. Owen L. Astrachan
   Meteor: Exploring Model Elimination Theorem Proving. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:3, pp:283-296 [Journal]
   
2. Reinhold Letz, Klaus Mayr, Christoph Goller
   Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:3, pp:297-337 [Journal]
   
3. Peter Baumgartner, Ulrich Furbach
   Model Elimination Without Contrapositives and Its Application to PTTP. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:3, pp:339-359 [Journal]
   
4. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   An Improved Refutation System for Intuitionistic Predicate Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:3, pp:361-373 [Journal]
   
5. Sven Lorenz
   A Tableaux Prover for Domain Minimization. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:3, pp:375-390 [Journal]
   
6. Regimantas Pliuskevicius
   The Saturated Tableaux for Linear Miniscoped Horn-like Temporal Logic. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:3, pp:391-407 [Journal]
   
7. Johann Schumann
   Tableaux-based Theorem Provers: Systems and Implementations. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1994, v:13, n:3, pp:409-421 [Journal]