德里克·库里(Derrick G.Kourie)。;谢尔盖·奥比耶德科夫;布鲁斯·沃森。;范德梅尔,院长 构造集合交点格的增量算法。 (英语) Zbl 1156.68056号 科学。计算。程序。 74,第3期,128-142(2009).MSC公司:68周05 06B99号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Kourie}等人,科学。计算。程序。74,第3号,128--142(2009;Zbl 1156.68056) 全文: DOI程序
凯文·巴克豪斯;罗兰·巴克豪斯 通过逻辑关系和伽罗瓦联系,免费提供抽象解释的安全性。 (英语) Zbl 1091.68069号 科学。计算。程序。 51,第1-2号,153-196(2004).MSC公司:68问题55 68号30 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{K.Backhouse}和\textit{R.Backhouse},科学。计算。程序。51,编号1--2,153-196(2004;Zbl 1091.68069) 全文: DOI程序
德克斯特·科赞 动力学模型理论的一些结果。 (英语) Zbl 1053.03019号 科学。计算。程序。 51,编号1-2,3-22(2004).MSC公司:03B70号 03C05号机组 08A70号 03G15年 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},科学。计算。程序。51,编号1--2,3--22(2004;Zbl 1053.03019) 全文: DOI程序
弗莱明·尼尔森;尼尔森、汉内·里斯 Wadler列表分析中的张量积。 (英语) Zbl 0810.68092号 科学。计算。程序。 22,第3期,327-354(1994).MSC公司:68问题55 68问题65 68甲15 06B35号 68第05页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,科学。计算。程序。22,第3号,327--354(1994;Zbl 0810.68092) 全文: DOI程序
莱因霍尔德·赫克曼 电力领域建设。 (英语) Zbl 0769.08005号 科学。计算。程序。 17,编号1-3,77-117(1991). 审核人:S.Bloom(霍博肯) MSC公司:08A70型 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Heckmann},科学。计算。程序。17,编号1--3,77-117(1991;Zbl 0769.08005) 全文: DOI程序
安妮·卡尔德瓦伊 一些基于Dilworth定理对偶的算法。 (英语) 兹伯利0641.68107 科学。计算。程序。 9, 85-89 (1987).MSC公司:68卢比99 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij},科学。计算。程序。9、85-89(1987年;Zbl 0641.68107) 全文: DOI程序