A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. | 1 | 0.36 | 2015 |
Focusing on Contraction. | 0 | 0.34 | 2013 |
Optimization techniques for propositional intuitionistic logic and their implementation | 8 | 0.65 | 2008 |
Improvements to the Tableau Prover PITP | 1 | 0.37 | 2007 |
ESBC: an application for computing stabilization bounds | 2 | 0.40 | 2006 |
How to Avoid the Formal Verification of a Theorem Prover | 0 | 0.34 | 2001 |
A formal framework for synthesis and verification of logic programs | 3 | 0.44 | 2000 |
Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics | 34 | 1.85 | 1999 |
Synthesis of Programs in Abstract Data Types | 3 | 0.49 | 1998 |
Analysis of algorithms for the recognition of rational and context-free trace languages | 4 | 0.84 | 1998 |
Generalized Tableau Systems for Intemediate Propositional Logics | 2 | 0.39 | 1997 |
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics | 3 | 0.78 | 1996 |
On maximal intermediate predicate constructive logics | 2 | 0.41 | 1996 |