PITP

swMATH11386MaRDI QIDQ23332FDOQ23332

Author name not available (Why is that?)

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