scientific article; zbMATH DE number 1765708

MaRDI QIDQ4539650zbMATH OpenFDO

Authors Joshua S. Hodas, Naoyuki Tamura

Publication date 10 July 2002

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

Mathematics Subject Classification ID

Recommendations

• IeanCOP: lean connection-based theorem proving
• Logic Programming with Focusing Proofs in Linear Logic
• Efficient resource management for linear logic proof search
• scientific article; zbMATH DE number 4055576
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)

Cited in

(6)

• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
• lolliCoP
• IeanCOP: lean connection-based theorem proving
• Automated Deduction – CADE-20
• A Survey of the Proof-Theoretic Foundations of Logic Programming

Describes a project that uses

Uses Software

• leanCoP
• OTTER
• SETHEO

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