Ausgabe 3-4/2004
First-Order Theorem Proving
Inhalt (6 Artikel)
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
On the Complexity of Deduction Modulo Leaf Permutative Equations
Thierry Boy de la Tour, Mnacho Echenim
Reachability Analysis over Term Rewriting Systems
Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong