- Authors
- Claus-Peter Wirth
- Title
- Full First-Order Free Variable Sequents
and Tableaus in Implicit Induction
- In
- 8th TABLEAUX 1999, LNAI 1617, pp. 293-307, Springer.
Bibtex Entry
- Copyright Owner
- Springer
- Up-to-dateness
- There is a significantly improved and extended journal version!
- Abstract
-
We show how to integrate implicit inductive theorem proving
into free variable sequent and tableau calculi
and compare the appropriateness of tableau calculi
for this integration with that of sequent calculi.
- Complete Referee Report
-
"Comments for authors" word-for-word
with some comments of the author
- Full paper
-
- Format
- .ps.gz
- Size
- .07 Mbytes
-
- Format
- .dvi.gz
- Size
- .04 Mbytes
-
The fonts of this version differ from the original
and some originally identical fonts are different in this version,
but the whole file can be searched!
- Format
- .pdf.gz
- Size
- .09 Mbytes