Volume 19, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 19, Issue 2

October 1997

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Toupie: The µ-calculus over Finite Domains as a Constraint Language
Marc-Michel Corsini
Antoine Rauzy
OriginalPaper Pages: 143 - 171
Structuring Resolution Proofs by Introducing New Lemmata
K. Hörwein
OriginalPaper Pages: 173 - 203
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Peter Baumgartner
Stefan Brüning
OriginalPaper Pages: 205 - 262