迈克尔·哈纳斯 从逻辑到功能逻辑程序。 (英语) Zbl 07595324号 理论与实践。日志。程序。 22,第4期,538-554(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hanus},理论与实践。日志。程序。22,编号4,538--554(2022;Zbl 07595324) 全文: 内政部 arXiv公司
桑德拉·戴卢斯;简·克里斯蒂安森;蒂根,芬兰人 使用非严格非确定性实现概率编程库。 (英语) Zbl 1434.68062号 理论与实践。日志。程序。 20,第1号,147-175(2020).MSC公司:68甲15 68N17号 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Dylus}等人,《理论与实践》。日志。程序。20,编号147-175(2020;兹bl 1434.68062) 全文: 内政部 arXiv公司
塞尔吉奥·安托伊;迈克尔·哈纳斯 Curry的默认规则。 (英语) Zbl 1379.68037号 理论与实践。日志。程序。 17,第2期,121-147(2017).MSC公司:68N17号 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{M.Hanus},理论与实践。日志。程序。17,No.2,121--147(2017;Zbl 1379.68037) 全文: 内政部 arXiv公司
塞尔吉奥·安托伊;迈克尔·哈纳斯 将布尔等式转换为约束。 (英语) Zbl 1362.68034号 正式Asp。计算。 29,第3期,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) 全文: 内政部
罗伯特·吉格里奇;海莱内·图泽特 用逆耦合重写系统对序列和树上的动态规划问题进行建模。 (英语) Zbl 1461.68251号 算法(巴塞尔) 7,第1期,62-144(2014).MSC公司:68周05 2012年第68季度 90C27型 90立方厘米 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Giegerich}和\textit{H.Touzet},《算法(巴塞尔)》7,第1期,62--144(2014;Zbl 1461.68251) 全文: 内政部