scientific article; zbMATH DE number 1950264

MaRDI QIDQ4412862zbMATH OpenFDO

Authors Uwe Petermann

Publication date 17 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2381/23810221.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1748570
• scientific article; zbMATH DE number 1341619
• Theory reasoning in connection calculi
• A Non-clausal Connection Calculus
• Connection calculus theorem proving with multiple built-in theories
• Connectivity calculus
• scientific article; zbMATH DE number 834568
• scientific article; zbMATH DE number 1761415
• scientific article; zbMATH DE number 4046572
• scientific article; zbMATH DE number 3861408

Cited in

(11)

• A Non-clausal Connection Calculus
• scientific article; zbMATH DE number 4209640 (Why is no real title available?)
• scientific article; zbMATH DE number 64168 (Why is no real title available?)
• scientific article; zbMATH DE number 1341619 (Why is no real title available?)
• scientific article; zbMATH DE number 517084 (Why is no real title available?)
• scientific article; zbMATH DE number 549993 (Why is no real title available?)
• scientific article; zbMATH DE number 1748570 (Why is no real title available?)
• scientific article; zbMATH DE number 7288621 (Why is no real title available?)
• scientific article; zbMATH DE number 5033878 (Why is no real title available?)
• Computer Aided Verification
• Connection calculus theorem proving with multiple built-in theories

Describes a project that uses

Uses Software

• SATCHMO

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