摘要：双直觉逻辑的完备简单校验
作者：Linda Buisman and Rajeev Gor''e
论文ID：0704.1707
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中