Volume 31, Issue 1 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 31, Issue 1

September 2003

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke
Robert Veroff
OriginalPaper Pages: 1 - 9
Theorem Proving Based on the Extension Rule
Lin Hai
Sun Jigui
Zhang Yimin
OriginalPaper Pages: 11 - 21
The CADE-18 ATP System Competition
G. Sutcliffe
C. B. Suttner
OriginalPaper Pages: 23 - 32
Theorem Proving Modulo
Gilles Dowek
Thérèse Hardin
Claude Kirchner
OriginalPaper Pages: 33 - 72
From Bisimulation to Simulation: Coarsest Partition Problems
R. Gentilini
C. Piazza
A. Policriti
OriginalPaper Pages: 73 - 103