First-order theorem proving: foreword

DOI10.1016/J.JSC.2011.12.030MaRDI QIDQ429582zbMATH OpenOpenAlexFDO

Authors

Publication date 20 June 2012

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2011.12.030

Mathematics Subject Classification ID

Bibliographies for mathematics in general (00A15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Recommendations

• scientific article; zbMATH DE number 1300967
• scientific article; zbMATH DE number 46359
• Special issue: Advances in first-order theorem proving
• scientific article; zbMATH DE number 1070624
• scientific article; zbMATH DE number 1751350
• scientific article; zbMATH DE number 4170865
• Publication:4729755
• scientific article; zbMATH DE number 837700
• On first-order theories with provability operator

Cited in

(11)

• Refutational theorem proving for hierarchic first-order theories
• Predicate Elimination for Preprocessing in First-Order Theorem Proving
• AVATAR: The Architecture for First-Order Theorem Provers
• A First Class Boolean Sort in First-Order Theorem Proving and TPTP
• scientific article; zbMATH DE number 4053061 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• First-order unification in the PVS proof assistant
• Using First-Order Theorem Provers in the Jahob Data Structure Verification System
• Theorem Proving in Higher Order Logics
• Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003
• On first-order theorem proving using generalized odd-superpositions II

This page was built for publication: First-order theorem proving: foreword

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