Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Brünnler, K.: Deep Inference and Symmetry in Classical Proofs. Logos Verlag, Berlin (2004), http://www.iam.unibe.ch/~kai/Papers/phd.pdf
2. Lecture Notes in Computer Science;K. Brünnler,2006
3. Bruscoli, P., Guglielmi, A.: On the proof complexity of deep inference. ACM Transactions on Computational Logic 10(2), article 14, 1–34 (2009), http://cs.bath.ac.uk/ag/p/PrComplDI.pdf
4. Bruscoli, P., Guglielmi, A., Gundersen, T., Parigot, M.: Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae (2009), http://cs.bath.ac.uk/ag/p/QuasiPolNormDI.pdf (submitted)
5. Clote, P., Kranakis, E.: Boolean Functions and Computation Models. Springer, Heidelberg (2002)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Subatomic Proof System for Decision Trees;ACM Transactions on Computational Logic;2022-10-20
2. Subatomic Proof Systems;ACM Transactions on Computational Logic;2018-01-31
3. On linear rewriting systems for Boolean logic and some applications to proof theory;Logical Methods in Computer Science;2017-04-27
4. On the relative proof complexity of deep inference via atomic flows;Logical Methods in Computer Science;2015-03-06
5. On the pigeonhole and related principles in deep inference and monotone systems;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14