- Claus-Peter Wirth
- Full First-Order Free Variable Sequents
and Tableaus in Implicit Induction
- 8th TABLEAUX 1999, LNAI 1617, pp. 293-307, Springer.
- Copyright Owner
- There is a significantly improved and extended journal version!
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
- .07 Mbytes
- .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!
- .09 Mbytes