scientific article; zbMATH DE number 1765692

MaRDI QIDQ4539633zbMATH OpenFDO

Authors Jens Happe

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830459

Mathematics Subject Classification ID

Recommendations

• Equational theorem proving modulo
• Theorem Proving Modulo Based on Boolean Equational Procedures
• Theorem proving modulo
• Publication:3030268
• Publication:3490986
• Modal Theorem Proving: An Equational Viewpoint
• scientific article; zbMATH DE number 1538015
• Embedding Deduction Modulo into a Prover
• Paramodulation-based theorem proving
• An empirical analysis of modal theorem provers

Cited in

(12)

• scientific article; zbMATH DE number 1538015 (Why is no real title available?)
• Implementing a relational theorem prover for modal logic K
• Embedding Deduction Modulo into a Prover
• Distributed modal theorem proving with KE
• MODPROF
• An empirical analysis of modal theorem provers
• scientific article; zbMATH DE number 4094866 (Why is no real title available?)
• Automated Reasoning
• scientific article; zbMATH DE number 1950267 (Why is no real title available?)
• Certification of prefixed tableau proofs for modal logic
• InKreSAT: modal reasoning via incremental reduction to SAT
• Theorem provers for every normal modal logic

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