Volume 13, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 13, Issue 3

October 1994

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

METEOR: Exploring model elimination theorem proving
Owen Astrachan
OriginalPaper Pages: 283 - 296
Controlled integration of the cut rule into connection tableau calculi
R. Letz
K. Mayr
C. Goller
OriginalPaper Pages: 297 - 337
Model elimination without contrapositives and its application to PTTP
Peter Baumgartner
Ulrich Furbach
OriginalPaper Pages: 339 - 359
An improved refutation system for intuitionistic predicate logic
Pierangelo Miglioli
Ugo Moscato
Mario Ornaghi
OriginalPaper Pages: 361 - 373
A tableau prover for domain minimization
Sven Lorenz
OriginalPaper Pages: 375 - 390
The saturated tableaux for linear miniscoped horn-like temporal logic
Regimantas Pliuškevičius
OriginalPaper Pages: 391 - 407
Tableau-based theorem provers: Systems and implementations
J. Schumann
OriginalPaper Pages: 409 - 421