Author:
Beckmann Arnold,Buss Samuel R.
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. Cut-elimination and redundancy-elimination by resolution;Baaz;Journal of Symbolic Computation,2000
2. M. Baaz, A. Leitsch, Fast cut-elimination by CERES, Proofs, Categories and Computations, College Publications, 2010, pp. 31–49.
3. S.R. Buss, Bounded Arithmetic, Bibliopolis, 1986. Revision of 1985 Princeton University Ph.D. Thesis.
4. A conservation result concerning bounded theories and the collection axiom;Buss;Proceedings of the American Mathematical Society,1987
5. An introduction to proof theory;Buss,1998
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献