摘要：线性逻辑的保守扩展的逻辑演算法 标题：线性逻辑的保守扩展的逻辑演算法
作者：Christophe Fouquer''e (LIPN)
论文ID：0706.3341
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-06-25
PDF 下载： 英文版 中文版pdf翻译中