朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯 带域的Kleene代数。 (英语) Zbl 1367.68205号 ACM事务处理。计算。日志。 7,第4期,798-833(2006).MSC公司:70年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《美国医学杂志》。计算。日志。7,第4号,798--833(2006;Zbl 1367.68205) 全文: 内政部 链接
Joost Vennekens;戴维·吉利斯;马克·德内克 拆分运算符:具有不动点语义的逻辑的代数模块化结果。 (英语) Zbl 1367.68295号 ACM事务处理。计算。日志。 7,第4期,765-797(2006); 勘误表同上,第8号,第1条,第7条,第3页(2007年)。MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vennekens}等人,《美国医学杂志》。计算。日志。7,第4号,765--797(2006;Zbl 1367.68295) 全文: 内政部
斯蒂芬·库克;尼尔·萨彭 弱算术中替换的强度。 (英语) Zbl 1407.03075号 ACM事务处理。计算。日志。 7,第4号,749-764(2006).MSC公司:03英尺30英寸 03英尺20英寸 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cook}和\textit{N.Thapen},ACM翻译。计算。日志。7,第4号,749--764(2006;Zbl 1407.03075) 全文: 内政部 arXiv公司
斯特凡·拉特肖恩 有效解决实数上的量化不等式约束。 (英语) Zbl 1367.68270号 ACM事务处理。计算。日志。 7,第4期,723-748(2006).MSC公司:68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Ratschan},ACM翻译。计算。日志。7,第4号,723--748(2006;Zbl 1367.68270) 全文: 内政部 arXiv公司
克里斯托弗·斯通(Christopher A.Stone)。;罗伯特·哈珀 扩展等价和单例类型。 (英语) Zbl 1367.68055号 ACM事务处理。计算。日志。 7,第4期,676-722(2006).MSC公司:68甲18 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Stone}和\textit{R.Harper},ACM Trans。计算。日志。7,第4号,676--722(2006;Zbl 1367.68055) 全文: 内政部
劳伦斯·C·鲍尔森。 在等价类上定义函数。 (英语) Zbl 1367.68254号 ACM事务处理。计算。日志。 第7期,第4期,第658-675页(2006年).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson},美国计算机学会翻译。计算。日志。7,第4号,658--675(2006;Zbl 1367.68254) 全文: 内政部 arXiv公司
儿子Tran Cao;奇塔·巴拉尔;越南Tran;希拉·麦克莱思 答案集规划中的领域相关知识。 (英语) Zbl 1367.68271号 ACM事务处理。计算。日志。 7,第4号,613-657(2006).MSC公司:68T20型 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Son}等人,ACM Trans。计算。日志。7,第4号,613--657(2006;Zbl 1367.68271) 全文: 内政部 arXiv公司