Publisher
Oxford University Press (OUP)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Herbrand Proofs and Expansion Proofs as Decomposed Proofs;Journal of Logic and Computation;2020-10-24
2. A Natural Proof System for Herbrand’s Theorem;Logical Foundations of Computer Science;2017-11-28
3. On the relative proof complexity of deep inference via atomic flows;Logical Methods in Computer Science;2015-03-06
4. 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
5. A PROOF CALCULUS WHICH REDUCES SYNTACTIC BUREAUCRACY;LEIBNIZ INT PR INFOR;2010