迈克尔·科迪什;路易斯·克鲁兹·菲利佩;马库斯·内贝尔;彼得·施奈德·坎普 使用排序网络优化排序算法。 (英语) Zbl 1365.68191号 正式Asp。计算。 29,第3期,559-579(2017). 审核人:彼得·桑德斯(卡尔斯鲁厄) MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,《正式Asp》。计算。29,第3号,559--579(2017;Zbl 1365.68191) 全文: 内政部
马可·科米尼;玛丽亚·德尔·马尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 程序分析框架tccp公司基于抽象解释。 (英语) Zbl 1362.68045号 正式Asp。计算。 第3期第29页,第531-557页(2017年).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人,《形式语法》。计算。29,编号3,531–557(2017年;兹bl 1362.68045) 全文: 内政部
乔达里,Dipak L。;Om达马尼 通过注释程序进行假设传播。 (英语) Zbl 1362.68043号 正式Asp。计算。 29,第3期,495-530(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Chaudhari}和\textit{O.Damani},正式Asp。计算。29,编号3,495-530(2017;兹bl 1362.68043) 全文: 内政部
塞尔吉奥·安托伊;迈克尔·哈纳斯 将布尔等式转换为约束。 (英语) Zbl 1362.68034号 正式Asp。计算。 第3期第29页,第475-494页(2017年).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{M.Hanus},正式Asp。计算。29,第3号,475--494(2017;Zbl 1362.68034) 全文: 内政部
傅鹏;叶卡捷琳娜·科门丹茨卡亚 Horn子句逻辑中解析和生产力的操作语义。 (英语) Zbl 1362.68048号 正式Asp。计算。 29,第3期,453-474(2017).MSC公司:68号30 03B70号 68N17号 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}和\textit{E.Komendantskaya},正式Asp。计算。29,第3号,453--474(2017;Zbl 1362.68048) 全文: 内政部 arXiv公司
何塞·梅塞盖尔;斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 (英语) Zbl 1362.68054号 正式Asp。计算。 29,第3期,423-452(2017).MSC公司:68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik},正式Asp。计算。29,第3号,423--452(2017;Zbl 1362.68054) 全文: 内政部
西基、广岛 关于协逻辑编程和Horn\({\mu}\)-演算中的对偶程序。 (英语) Zbl 1362.68058号 正式Asp。计算。 29,第3期,401-421(2017).MSC公司:68号30 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Seki},正式Asp。计算。29,第3号,401-421(2017;Zbl 1362.68058) 全文: 内政部
戴尔·米勒 校对和逻辑编程。 (英语) Zbl 1362.68056号 正式Asp。计算。 29,第3期,383-399(2017).MSC公司:68号30 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller},正式Asp。计算。29,第3号,383--399(2017;Zbl 1362.68056) 全文: 内政部 哈尔
莫雷诺,法拉斯基(编辑);奥古斯托·桑帕约(编辑) 编辑。 (英语) 兹比尔1362.00036 正式Asp。计算。 29,第3期,381-382(2017).MSC公司:00B25型 68-06 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}(编辑)和\textit{A.Sampaio}(主编),正式Asp。计算。29,第3号,381--382(2017;Zbl 1362.00036) 全文: 内政部