Volume 33, Issue 3-4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 33, Issue 3-4

October 2004

First-Order Theorem Proving

Issue Editors:

Deepak Kapur,
Laurent Vigneron

6 articles in this issue

Preface
Deepak Kapur
Laurent Vigneron
EditorialNotes 28 February 2005 Pages: 219 - 220
Model-Theoretic Methods in Combined Constraint Satisfiability
Silvio Ghilardi
OriginalPaper 28 February 2005 Pages: 221 - 249
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case
Calogero G. Zarba
Domenico Cantone
Jacob T. Schwartz
OriginalPaper 28 February 2005 Pages: 251 - 269
On the Complexity of Deduction Modulo Leaf Permutative Equations
Thierry Boy de la Tour
Mnacho Echenim
OriginalPaper 28 February 2005 Pages: 271 - 317
MPTP – Motivation, Implementation, First Experiments
Josef Urban
OriginalPaper 28 February 2005 Pages: 319 - 339
Reachability Analysis over Term Rewriting Systems
Guillaume Feuillade
Thomas Genet
Valérie Viet Triem Tong
OriginalPaper 28 February 2005 Pages: 341 - 383