关键词： 逻辑 线性逻辑 计算机科学 应用
作者: 贲可荣 续九华 刘孟仁
作者单位: 工程学院计算机系(武汉)
会议类型: 国内会议
会议名称: 1998年华人理论计算机科学年会
会议地点: 南昌
会议语种:中文
页码: 61～64
在线出版日期: 1998-10-01（万方平台首次上网日期，不代表论文的发表时间）