洛丽斯·波萨托;托马斯·艾特;卢西亚诺·塞拉菲尼 在\(\mathit{DL}\)-\(\mathit上进行推理{精简}_{\mathcal{R}}\)在ASP中具有可解除性。 (英语) Zbl 07776342号 理论与实践。日志。程序。 22,第2期,254-304(2022年).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzato}等人,《理论与实践》。日志。程序。22,编号2,254--304(2022;Zbl 07776342) 全文: 内政部 arXiv公司
索菲·托雷特;克里斯托夫·韦登巴赫 拉里·沃斯的遗作:一篇未发表的专栏文章的节选。 (英语) Zbl 1512.68429号 J.汽车。推理 66,第4号,575-584(2022).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{S.Touret}和\textit{C.Weidenbach},J.Autom。推理66,No.4,575--584(2022;Zbl 1512.68429) 全文: 内政部
塞尔达,埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 计算子形式收敛理论方程扩展的知识。 (英语) 兹比尔1495.68113 数学。结构。计算。科学。 30,第6号,683-709(2020).MSC公司:2012年第68季度 68平方米25 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,《数学》。结构。计算。科学。30,第6号,683--709(2020;Zbl 1495.68113) 全文: 内政部