Volume 37; Issue 1-2

Journal of Automated Reasoning

Volume 37; Issue 1-2

1

Axiomatizing the Skew Boolean Propositional Calculus

R. Veroff, M. Spinks

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 316 KB

english, 2006

2

Formal Correctness of a Quadratic Unification Algorithm

José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 359 KB

english, 2006

3

MPTP 0.2: Design, Implementation, and Initial Experiments

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 494 KB

english, 2006

4

A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures

Panagiotis Manolios, Sudarshan K. Srinivasan

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 423 KB

english, 2006

5

Checking Consistency and Completeness of On-Line Product Manuals

Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 565 KB

english, 2006

6

Verification of FPGA Layout Generators in Higher-Order Logic

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 1.26 MB

english, 2006

7

Empirically Successful Automated Reasoning: Applications Issue

Bernd Fischer, Geoff Sutcliffe, Stephan Schulz

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 113 KB

english, 2006