scientific article; zbMATH DE number 1748570

zbMATH Open0997.03007MaRDI QIDQ4530455FDOQ4530455

Norbert Eisinger, Peter Baumgartner, Ulrich Furbach

Publication date: 3 June 2002

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

zbMATH Keywords

confluenceautomated theorem provingproof procedurestableaux calculifirst-order connection methodsrigid variable methods

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (5)

• Title not available (Why is that?)
• Multiplicativity of Connes’ calculus
• Title not available (Why is that?)
• A Non-clausal Connection Calculus
• Computer Aided Verification

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 Q4530455)