Proof compressions with circuit-structured substitutions
- 9 April 2009
- journal article
- Published by Springer Nature in Journal of Mathematical Sciences
- Vol. 158 (5) , 645-658
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Lectures on Mathematical Logic, Volume II2000
- On cut elimination in the presence of perice ruleArchive for Mathematical Logic, 1987
- Polynomial size proofs of the propositional pigeonhole principleThe Journal of Symbolic Logic, 1987
- The intractability of resolutionTheoretical Computer Science, 1985
- Finite investigations of transfinite derivationsJournal of Mathematical Sciences, 1978