scientific article; zbMATH DE number 2065283

MaRDI QIDQ4459910zbMATH OpenFDO

Authors Katalin Pásztor Varga, M. Várterész

Publication date 18 May 2004

zbMATH Keywords

semantic tableauxformula rewriting

Mathematics Subject Classification ID

Recommendations

• The foundation of a generic theorem prover
• A more general general proof theory
• A theorem on generalizations of proofs
• scientific article; zbMATH DE number 4049638
• Publication:4941840
• scientific article; zbMATH DE number 4094863
• scientific article; zbMATH DE number 1552515
• scientific article; zbMATH DE number 4033134
• Publication:4503919

Cited in

(6)

• Towards automating duality
• Reprint of: ``A more general general proof theory
• scientific article; zbMATH DE number 4049638 (Why is no real title available?)
• scientific article; zbMATH DE number 4045219 (Why is no real title available?)
• scientific article; zbMATH DE number 4007747 (Why is no real title available?)
• On a self-dual notation in automated reasoning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4459910)