The SCEAS System
Navigation Menu

Journals in DBLP

J. Autom. Reasoning
1999, volume: 23, number: 3-4

  1. Piotr Rudnicki, Andrzej Trybulec
    On Equivalents of Well-Foundedness. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:197-234 [Journal]
  2. Florian Kammüller, Lawrence C. Paulson
    A Formal Proof of Sylow's Theorem. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:235-264 [Journal]
  3. Ching-Tsun Chou, Doron Peled
    Formal Verification of a Partial-Order Reduction Technique for Model Checking. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:265-298 [Journal]
  4. Wolfgang Naraschewski, Tobias Nipkow
    Type Inference Verified: Algorithm W in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:299-318 [Journal]
  5. Catherine Dubois, Valérie Ménissier-Morain
    Certification of a Type Inference Tool for ML: Damas-Milner within Coq. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:319-346 [Journal]
  6. Mathieu Jaume
    A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:347-371 [Journal]
  7. James McKinna, Robert Pollack
    Some Lambda Calculus and Type Theory Formalized. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:373-409 [Journal]
  8. Bernhard Reus
    Formalizing Synthetic Domain Theory. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:411-444 [Journal]
  9. David M. Goldschlag
    A Mechanization of Unity in PC-NQTHM-92. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:445-498 [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