多米尼克·J·D·休斯。;罗布·范·格拉贝克。 无单位乘加线性逻辑的证明网。 (英语) Zbl 1367.03111号 ACM事务处理。计算。日志。 6,第4期,784-842(2005).MSC公司:03楼52 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.J.D.Hughes}和\textit{R.J.van Glabbeek},ACM Trans。计算。日志。6,第4号,784--842(2005;Zbl 1367.03111) 全文: DOI程序 链接
戴尔·米勒;Tiu,Alwen先生 一般判断的证明理论。 (英语) Zbl 1367.03059号 ACM事务处理。计算。日志。 6,第4期,749-783(2005).MSC公司:03B70号 05年3月 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}和\textit{A.Tiu},ACM Trans。计算。日志。6,第4号,749--783(2005;Zbl 1367.03059) 全文: DOI程序
詹姆斯·林奇。 具有指定度序列的随机图的收敛律。 (英语) Zbl 1367.03064号 ACM事务处理。计算。日志。 第6期,第4期,第727-748页(2005年).MSC公司:03C13号机组 05C80号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Lynch},ACM翻译。计算。日志。6,第4号,727--748(2005;Zbl 1367.03064) 全文: DOI程序
Andrzej S.穆拉夫斯基。 关于状态有限语言中程序等价性的不可判定性。 (英语) Zbl 1367.68024号 ACM事务处理。计算。日志。 6,第4期,701-726(2005).MSC公司:68甲15 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski},ACM翻译。计算。日志。6,第4号,701--726(2005;Zbl 1367.68024) 全文: DOI程序
巴哈迪尔·库萨诺夫;萨沙·鲁宾;弗兰克·斯蒂芬 自动线性顺序和树。 (英语) Zbl 1367.03070号 ACM事务处理。计算。日志。 6,第4期,675-700(2005).MSC公司:03C57号 05年3月 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{B.Khoussainov}等人,ACM Trans。计算。日志。6,第4号,675--700(2005;Zbl 1367.03070) 全文: DOI程序
Phokion G.科莱蒂斯。(编辑) LICS 2003特别版。 (英语) Zbl 1367.68009号 ACM事务处理。计算。日志。 6,第4号,674(2005).MSC公司:68-06 03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}(编辑),ACM Trans。计算。日志。6,第4674号(2005年;兹bl 1367.68009) 全文: DOI程序