摘要：模态自然演绎系统中的量子寄存器变换研究
作者：Andrea Masini, Luca Vigan`o, Margherita Zorzi
论文ID：0802.4057
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-03-05
PDF 下载： 英文版 中文版pdf翻译中