The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Adrian Walker
    Backchain Iteration: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete. [Citation Graph (1, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:1-22 [Journal]
  2. Fausto Giunchiglia, Toby Walsh
    The Inevitability of Inconsistent Abstract Spaces. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:23-41 [Journal]
  3. Amy P. Felty
    Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:41-81 [Journal]
  4. Alberto Maria Segre, Daniel Scharstein
    Bounded-Overhead Caching for Definite-Clause Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:83-113 [Journal]
  5. Gopalan Nadathur
    A Proof Procedure for the Logic of Hereditary Harrop Formulas. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:115-145 [Journal]
  6. Larry Wos
    The Problem of Naming and Function Replacement. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:147-148 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002