scientific article; zbMATH DE number 976352

MaRDI QIDQ4331757zbMATH OpenFDO

Authors Patricia Johann, Ralf Socher

Publication date 5 February 1997

zbMATH Keywords

automated reasoningresolution methodsorted resolutiontheorem proving

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Recommendations

• scientific article; zbMATH DE number 726582
• scientific article; zbMATH DE number 1028825
• scientific article; zbMATH DE number 1852923
• scientific article; zbMATH DE number 4041863
• scientific article; zbMATH DE number 42489
• scientific article; zbMATH DE number 417880
• Deductive systems and categories
• Deductive systems with unified multiple-conclusion rules

Cited in

(30)

• Completeness results for inequality provers
• Proof theory and automated deduction
• Automated deduction by theory resolution
• Resolution for label-based formulas in hierarchical representation
• Automated deduction in equational logic and cubic curves
• Set of support, demodulation, paramodulation: a historical perspective
• Languages of logic and their applications
• A system of quantificational deduction
• scientific article; zbMATH DE number 1566502 (Why is no real title available?)
• The Formal System of Dijkstra and Scholten
• scientific article; zbMATH DE number 417877 (Why is no real title available?)
• scientific article; zbMATH DE number 417880 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 4041863 (Why is no real title available?)
• scientific article; zbMATH DE number 4056963 (Why is no real title available?)
• scientific article; zbMATH DE number 1185498 (Why is no real title available?)
• scientific article; zbMATH DE number 193652 (Why is no real title available?)
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• scientific article; zbMATH DE number 708485 (Why is no real title available?)
• scientific article; zbMATH DE number 726582 (Why is no real title available?)
• An encyclopaedia of proof systems
• scientific article; zbMATH DE number 194550 (Why is no real title available?)
• scientific article; zbMATH DE number 753772 (Why is no real title available?)
• scientific article; zbMATH DE number 886137 (Why is no real title available?)
• Deduction as an engineering science
• From Schütte’s Formal Systems to Modern Automated Deduction
• scientific article; zbMATH DE number 2222011 (Why is no real title available?)
• An experimental logic based on the fundamental deduction principle
• Automated deduction
• Order-sorted logic programming with predicate hierarchy

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