Volume 37,
Numbers 1-2,
August 2006
Empirically Successful Automated Reasoning:
Applications Issue
- Bernd Fischer, Geoff Sutcliffe, Stephan Schulz:
Empirically Successful Automated Reasoning: Applications Issue.
1
Electronic Edition (link) BibTeX
- Robert Veroff, Matthew Spinks:
Axiomatizing the Skew Boolean Propositional Calculus.
3-20
Electronic Edition (link) BibTeX
- Josef Urban:
MPTP 0.2: Design, Implementation, and Initial Experiments.
21-43
Electronic Edition (link) BibTeX
- Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler:
Checking Consistency and Completeness of On-Line Product Manuals.
45-66
Electronic Edition (link) BibTeX
- José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo:
Formal Correctness of a Quadratic Unification Algorithm.
67-92
Electronic Edition (link) BibTeX
- Panagiotis Manolios, Sudarshan K. Srinivasan:
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures.
93-116
Electronic Edition (link) BibTeX
- Oliver Pell:
Verification of FPGA Layout Generators in Higher-Order Logic.
117-152
Electronic Edition (link) BibTeX
Volume 37,
Number 3,
October 2006
Third Special Issue on Techniques for Automated Termination Proofs
Volume 37,
Number 4,
November 2006
Copyright © Sun May 17 00:06:25 2009
by Michael Ley (ley@uni-trier.de)
