structure of proofs and the complexity of cut elimination

	structure of proofs and the complexity of cut elimination
	Zhang Wenhui
	2006
发表期刊	Theoretical Computer Science
卷号	353 期号:40181 页码:63-70
收录类别	sciencedirect
部门归属	计算机科学国家重点实验室
WOS记录号	WOS:000236230100004
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/4646
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhang Wenhui. structure of proofs and the complexity of cut elimination[J]. Theoretical Computer Science,2006,353(40181):63-70.
APA	Zhang Wenhui.(2006).structure of proofs and the complexity of cut elimination.Theoretical Computer Science,353(40181),63-70.
MLA	Zhang Wenhui."structure of proofs and the complexity of cut elimination".Theoretical Computer Science 353.40181(2006):63-70.