linTAP

swMATH11991MaRDI QIDQ23925FDOQ23925

Author name not available (Why is that?)

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
• IeanCOP: lean connection-based theorem proving
• llprover
• ModLeanTAP
• METEOR
• Title not available (Why is that?)
• Automated Deduction – CADE-20
• ILLTP
• Sympli
• The ILLTP library for intuitionistic linear logic

This page was built for software: linTAP