Sciweavers

66
Voted
TABLEAUX
2005
Springer
15 years 2 months ago
Proof Output and Transformation for Disconnection Tableaux
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
Philipp Correll, Gernot Stenz