Volume 24, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 24, Issue 3

April 2000

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

A Benchmark Method for the Propositional Modal Logics K, KT, S4
Peter Balsiger
Alain Heuerding
Stefan Schwendimann
OriginalPaper Pages: 297 - 317
Single Step Tableaux for Modal Logics
Fabio Massacci
OriginalPaper Pages: 319 - 364
A Hyperbase for Binary Lattice Hyperidentities
R. Padmanabhan
P. Penner
OriginalPaper Pages: 365 - 370
The CADE-16 ATP System Competition
Geoff Sutcliffe
OriginalPaper Pages: 371 - 396