斯蒂芬·斯基里克;安德烈·斯特凡内斯库;何塞·梅塞盖尔 用于重写理论的基于构造函数的可达性逻辑。 (英语) Zbl 1471.68076号 芬丹。通知。 173,编号4,315-382(2020).MSC公司:68纳米30 03B44号 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}等人,Fundam。通知。173,第4号,315--382(2020;Zbl 1471.68076) 全文: 内政部
迈克尔·哈纳斯 结合Curry的静态和动态合同检查。 (英语) Zbl 1471.68065号 芬丹。通知。 173,第4期,285-314(2020年).MSC公司:68纳米30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.哈纳斯},芬丹。通知。173,第4号,285--314(2020;Zbl 1471.68065) 全文: 内政部
托姆·吕维思 动态算法中逻辑收缩的约束处理规则的合理性:理论、实现和复杂性。 (英语) 兹比尔1471.68049 芬丹。通知。 173,第4期,253-283(2020年).MSC公司:68N17号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Frühwirth},芬丹。通知。173,第4号,253--283(2020;Zbl 1471.68049) 全文: 内政部
法比奥·菲奥拉万蒂(编辑);约翰·加拉赫(John P.Gallagher)。(编辑);毛里齐奥·普罗埃蒂(编辑) 前言:第27届基于逻辑的程序合成与转换国际研讨会专刊:2017年LOPSTR。 (英语) Zbl 1471.68014号 芬丹。通知。 173,第4号,i-ii(2020).MSC公司:68-06 68纳米30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}(编辑)等人,Fundam。通知。173,第4号,i-ii(2020;兹bl 1471.68014) 全文: 内政部