scientific article; zbMATH DE number 1765692

zbMATH Open0988.68606MaRDI QIDQ4539633FDOQ4539633

Authors: Jens Happe 

Publication date: 10 July 2002

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

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

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

Mathematics Subject Classification ID

Cited In (12)

• Title not available (Why is that?)
• Implementing a relational theorem prover for modal logic K
• Embedding Deduction Modulo into a Prover
• Distributed modal theorem proving with KE
• An empirical analysis of modal theorem provers
• Automated Reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• MODPROF
• 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)