structure of proofs and the complexity of cut elimination

Autoria(s): Zhang Wenhui
Data(s)

2006
Identificador

http://ir.iscas.ac.cn/handle/311060/4646

http://www.irgrid.ac.cn/handle/1471x/66978
Fonte

Zhang Wenhui.structure of proofs and the complexity of cut elimination,Theoretical Computer Science,2006,353(40181):63-70
Tipo

期刊论文
Acesso ao item digital