The SCEAS System
Navigation Menu

Journals in DBLP

J. Autom. Reasoning
1992, volume: 9, number: 3

  1. Kenneth Kunen
    Single Axioms for Groups. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:291-308 [Journal]
  2. Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
    Using Typed Lambda Calculus to Implement Formal Systems on a Machine. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:309-354 [Journal]
  3. Matt Kaufmann
    An Extension of the Boyer-Moore Theorem Prover to Support First-Order Quantification. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:355-372 [Journal]
  4. Jean-Louis Lassez, Michael J. Maher
    On Fourier's Algorithm for Linear Arithmetic Constraints. [Citation Graph (3, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:373-379 [Journal]
  5. Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry
    A Note on the Parallel Complexity of Anti-Unification. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:381-389 [Journal]
  6. Arthur L. Delcher, Simon Kasif
    Efficient Parallel Term Matching and Anti-Unification. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:391-406 [Journal]
  7. Larry Wos
    The Problem of Demodulating Across Argument and Literal Boundaries. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:407-408 [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