米歇尔·莱克莱尔;玛丽·劳雷·穆格尼尔;米夏·托马佐;费德里科·尤利安娜 在线性存在规则上决定追赶终止的单一方法。 (英语) Zbl 07561478号 Barcelo,Pablo(编辑)等人,第22届数据库理论国际会议,2019年3月26日至28日,2019,葡萄牙里斯本。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。127,第18条,第19页(2019年)。MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Leclère}等人,LIPIcs——莱布尼茨国际程序。通知。127,第18条,第19页(2019年;Zbl 07561478) 全文: 内政部 arXiv公司
梅亨·宾文努;米夏·托马佐 关于在线性存在规则上评估正则路径查询的复杂性。 (英语) Zbl 1366.68031号 Ortiz,Magdalena(编辑)等人,《Web推理和规则系统》。第十届国际会议,RR 2016,英国阿伯丁,2016年9月9日至11日。诉讼程序。查姆:施普林格(ISBN 978-3-319-45275-3/pbk;978-3-3169-45276-0/电子书)。计算机科学讲座笔记9898,1-17(2016)。MSC公司:第68页,共15页 65年第68季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Bienvenu}和\textit{M.Thomazo},莱克特。注释计算。科学。9898,1-17(2016;Zbl 1366.68031) 全文: 内政部 哈尔