scientific article; zbMATH DE number 2065283

zbMATH Open1103.68802MaRDI QIDQ4459910FDOQ4459910

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

Publication date: 18 May 2004

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

semantic tableauxformula rewriting

Mathematics Subject Classification ID

Cited In (6)

• Title not available (Why is that?)
• On a self-dual notation in automated reasoning
• Title not available (Why is that?)
• Towards automating duality
• Reprint of: ``A more general general proof theory
• Title not available (Why is that?)

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)