Cited in
(21)- Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
- Focused and Synthetic Nested Sequents
- Intuitionistic Decision Procedures Since Gentzen
- ILTP
- STRIP
- CoLoSS
- fCube
- Cool
- TABLEAUX
- JTabWb
- BDDIntKt
- IntHistGC
- intuit
- Disproving using the inverse method by iterative refinement of finite approximations
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
- Linking focusing and resolution with selection
- fCube: an efficient prover for intuitionistic propositional logic
- An improved BDD method for intuitionistic propositional logic: BDDIntKt system description
- JTabWb: a Java framework for implementing terminating sequent and tableau calculi
This page was built for software: Imogen
