linTAP

MaRDI QIDQ23925swMATHFDO

Official website http://www.leancop.de/lintap/

Cited in

(12)

• A logical characterization of forward and backward chaining in the inverse method
• A tableau method for the Lambek calculus based on a matrix characterization
• A Logical Characterization of Forward and Backward Chaining in the Inverse Method
• llprover
• ModLeanTAP
• METEOR
• IeanCOP: lean connection-based theorem proving
• scientific article; zbMATH DE number 1341478 (Why is no real title available?)
• Automated Deduction – CADE-20
• ILLTP
• Sympli
• The ILLTP library for intuitionistic linear logic

This page was built for software: linTAP