swMATH11384MaRDI QIDQ23330FDOQ23330
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-89439-1_12
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
- 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
