阮富城;斯蒂芬·库克 证明离散Jordan曲线定理的复杂性。 (英语) Zbl 1352.03068号 ACM事务处理。计算。日志。 第13号第1条第9条第24页(2012年).MSC公司:03英尺20英寸 03B30型 2015年3月15日 30楼03号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Nguyen}和\textit{S.Cook},ACM翻译。计算。日志。13,第1号,第9条,24页(2012;Zbl 1352.03068) 全文: 内政部 arXiv公司
Jeroen J.A.Keiren。;米歇尔·雷尼尔斯(Michel A.Reniers)。;Tim A.C.Willemse。 布尔方程组的结构分析。 (英语) Zbl 1351.68181号 ACM事务处理。计算。日志。 13,第1号,第8条,第35页(2012年).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.A.Keiren}等人,ACM Trans。计算。日志。13,第1号,第8条,第35页(2012年;兹bl 1351.68181) 全文: 内政部 arXiv公司
纳格梅·加法里;阿里·古芬克尔;尼尔斯·克拉伦德;理查德·特雷弗勒 分段FIFO系统中的可达性问题。 (英语) Zbl 1351.68161号 ACM事务处理。计算。日志。 13,第1号,第7条,33页(2012年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghafari}等人,ACM Trans。计算。日志。13,第1号,第7条,33页(2012年;Zbl 1351.68161) 全文: 内政部
Cinzia迪朱斯托;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 关于CHR中多个头部的表达能力。 (英语) Zbl 1351.68049号 ACM事务处理。计算。日志。 第13号第1条第6条第19页(2012年).MSC公司:68甲15 2005年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,《美国医学杂志》。计算。日志。13,第1号,第6条,第19页(2012;Zbl 1351.68049) 全文: 内政部 arXiv公司
佛罗伦萨马德琳;巴纳比·马丁 没有等式的正一阶逻辑的复杂性。 (英语) Zbl 1351.68119号 ACM事务处理。计算。日志。 第13号第1条第5条第17页(2012年).MSC公司:65年第68季度 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Madelaine}和\textit{B.Martin},ACM翻译。计算。日志。13,第1号,第5条,第17页(2012;Zbl 1351.68119) 全文: 内政部 arXiv公司
伤口凝胶;法兰克·奈文 补语的简洁性和正则表达式的交集。 (英语) Zbl 1351.68139号 ACM事务处理。计算。日志。 第13号第1条第4条第19页(2012年).MSC公司:65年第68季度 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Gelade}和\textit{F.Neven},ACM翻译。计算。日志。13,第1号,第4条,第19页(2012;Zbl 1351.68139) 全文: 内政部 链接
范登伯格,本诺;理查德·加纳 身份类型的拓扑和简单模型。 (英语) Zbl 1352.03012号 ACM事务处理。计算。日志。 第13号第1条第3条第44页(2012年).MSC公司:03B15号机组 03G30型 18B30型 55 u40 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}和\textit{R.Garner},ACM Trans。计算。日志。13,第1号,第3条,第44页(2012;Zbl 1352.03012) 全文: 内政部 arXiv公司
大卫·巴尔德 线性逻辑中的最小和最大不动点。 (英语) Zbl 1352.03072号 ACM事务处理。计算。日志。 13,第1号,第2条,第44页(2012年).MSC公司:03楼52 03B20型 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde},ACM事务。计算。日志。13,第1号,第2条,第44页(2012年;兹bl 1352.03072) 全文: 内政部 arXiv公司
阿里·古芬克尔;玛莎·契契克 分支时序逻辑的健壮空虚性。 (英语) Zbl 1351.68162号 ACM事务处理。计算。日志。 13,第1号,第1条,32页(2012年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}和\textit{M.Chechik},ACM翻译。计算。日志。13,第1号,第1条,第32页(2012;Zbl 1351.68162) 全文: 内政部 arXiv公司