llprover

swMATH11993MaRDI QIDQ23927FDOQ23927

Author name not available (Why is that?)

Official website: http://bach.istc.kobe-u.ac.jp/llprover/

Cited In (9)

• A logical characterization of forward and backward chaining in the inverse method
• A Logical Characterization of Forward and Backward Chaining in the Inverse Method
• linTAP
• Language models for some extensions of the Lambek calculus
• Automated Deduction – CADE-20
• ILLTP
• Sympli
• The ILLTP library for intuitionistic linear logic
• Towards the animation of proofs -- testing proofs by examples

This page was built for software: llprover