×

找到2个文档(结果1-2)

在线性存在规则上决定追赶终止的单一方法。 (英语) 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格式引用

关于在线性存在规则上评估正则路径查询的复杂性。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

筛选结果依据…

出版年份

主字段