Imogen
From MaRDI portal
Software:23330
swMATH11384MaRDI QIDQ23330FDOQ23330
Author name not available (Why is that?)
Cited In (11)
- 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
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
- Disproving using the inverse method by iterative refinement of finite approximations
- 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
