The SCEAS System
Navigation Menu

Journals in DBLP

J. Autom. Reasoning
2006, volume: 37, number: 1-2

  1. Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
    Empirically Successful Automated Reasoning: Applications Issue. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:1- [Journal]
  2. Robert Veroff, M. Spinks
    Axiomatizing the Skew Boolean Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:3-20 [Journal]
  3. Josef Urban
    MPTP 0.2: Design, Implementation, and Initial Experiments. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:21-43 [Journal]
  4. Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler
    Checking Consistency and Completeness of On-Line Product Manuals. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:45-66 [Journal]
  5. José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
    Formal Correctness of a Quadratic Unification Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:67-92 [Journal]
  6. Panagiotis Manolios, Sudarshan K. Srinivasan
    A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:93-116 [Journal]
  7. Oliver Pell
    Verification of FPGA Layout Generators in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:117-152 [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