Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference10 articles.
1. Gordeev, L., Basic dag compressions, Manuscript 2015.
2. Hudelmaier, J., An $$o\left( n\log n\right)$$ o n log n -space decision procedure for intuitionistic propositional logic, Journal of Logic and Computation 3(1): 63–75, 1993.
3. Johansson, I., Der minimalkalkül, ein reduzierter intuitionistischer formalismus, Compositio Mathematica 4: 119–136, 1936.
4. Gordeev, L., E. H. Haeusler, and V. G. da Costa, Proof compressions with circuit-structured substitutions, Journal of Mathematical Sciences 158(5): 645–658, 2009.
5. Gordeev, L., E. H. Haeusler, and L. C. Pereira, Propositional proof compressions and dnf logic, Logic Journal of the IGPL 19(1): 62–86, 2011.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献