The following pages link to Imogen (Q23330):
Displaying 11 items.
- Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings (Q959041) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations (Q3455767) (← links)
- JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi (Q4589603) (← links)
- An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description (Q4928444) (← links)
- fCube: An Efficient Prover for Intuitionistic Propositional Logic (Q4933312) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic (Q5505551) (← links)