Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Bernhard Reus Formalizing Synthetic Domain Theory. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1999, v:23, n:3-4, pp:411-444 [Journal ] 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 ]