Volume 37, Issue 1-2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 37, Issue 1-2

August 2006

Empirically Successful Automated Reasoning: Applications Issue

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Empirically Successful Automated Reasoning: Applications Issue
Bernd Fischer
Geoff Sutcliffe
Stephan Schulz
OriginalPaper 22 December 2006 Pages: 1 - 1
Axiomatizing the Skew Boolean Propositional Calculus
R. Veroff
M. Spinks
OriginalPaper 22 September 2006 Pages: 3 - 20
MPTP 0.2: Design, Implementation, and Initial Experiments
Josef Urban
OriginalPaper 25 November 2006 Pages: 21 - 43
Checking Consistency and Completeness of On-Line Product Manuals
Carsten Sinz
Wolfgang Küchlin
Georg Görtler
OriginalPaper 06 October 2006 Pages: 45 - 66
Formal Correctness of a Quadratic Unification Algorithm
José-Luis Ruiz-Reina
Francisco-Jesús Martín-Mateos
María-José Hidalgo
OriginalPaper 28 September 2006 Pages: 67 - 92
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
Panagiotis Manolios
Sudarshan K. Srinivasan
OriginalPaper 07 October 2006 Pages: 93 - 116
Verification of FPGA Layout Generators in Higher-Order Logic
Oliver Pell
OriginalPaper 19 October 2006 Pages: 117 - 152