×
多米尼克·J·D·休斯。；罗布·范·格拉贝克。

无单位乘加线性逻辑的证明网。 （英语） Zbl 1367.03111号

ACM事务处理。计算。日志。 6，第4期，784-842（2005）.

引用于17文件

MSC公司：

第03页 线性逻辑和其他子结构逻辑的理论证明
05年3月 切割消除和正规形定理
2007年3月 证明的结构

关键词：

线性逻辑；添加剂；切割消除；防护网
PDF格式BibTeX公司 XML格式引用
\textit{D.J.D.Hughes}和\textit{R.J.van Glabbeek}，ACM Trans。计算。日志。6，第4号，784--842（2005；Zbl 1367.03111）
全文： 内政部 链接