卡巴列罗,R。;罗德里格斯-阿塔莱霍,M。;罗梅罗·迪亚斯,C.A。 CLP基于转换的实施,具有限定性和接近性。 (英语) Zbl 1295.68057号 理论与实践。日志。程序。 14,第1号,1-63(2014). 审核人:安东尼哈(普拉哈) MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,《理论与实践》。日志。程序。14,第1号,1--63(2014;Zbl 1295.68057) 全文: 内政部 arXiv公司
拉斐尔·卡巴列罗;马里奥·罗德里格斯-阿塔莱霍;卡洛斯·迪亚斯(Carlos A.Romero-Díaz)。 函数逻辑编程中的合格计算。 (英语) 兹比尔1251.68053 Hill,Patricia M.(编辑)等人,《逻辑编程》。2009年7月14日至17日,在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02845-8/pbk)。计算机科学讲座笔记5649449-463(2009)。MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人,Lect。注释计算。科学。5649449-463(2009年;兹比尔1251.68053) 全文: 内政部