PITP

MaRDI QIDQ23332swMATHFDO

Official website http://www2.disco.unimib.it/fiorino/pitp.html

Described by source

• Improvements to the Tableau Prover PITP

Cited in

(2)

• Optimization techniques for propositional intuitionistic logic and their implementation
• Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3--6, 2007. Proceedings.

This page was built for software: PITP