Subject
General Computer Science,Theoretical Computer Science
Reference3 articles.
1. The number of proof lines and the size of proofs in first order logic;Krajicek;Arch. Math. Logic,1988
2. Proof theory: some applications of cut-elimination;Schwichtenberg,1977
3. Cut elimination and automatic proof procedures;Zhang;Theoret. Comput. Sci.,1991
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献