Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
复制标题
初始限制数据记录：可判定约束 Horn 子句的新可扩展类
DOI：
10.1109/lics52264.2021.9470527
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Burn T
中科院分区：
文献类型：
--
作者：
Burn T
登录
查看更多内容
DOI：
--
发表时间：
1994
期刊：
Applicable Algebra in Engineering, Communication and Computing
影响因子：
--
作者：
L. Bachmair;H. Ganzinger;Uwe Waldmann
通讯作者：
Uwe Waldmann
子字排序上的一阶逻辑的可判定性、复杂性和表达性
DOI：
--
发表时间：
2017
期刊：
Logic in Computer Science
影响因子：
--
作者：
Simon Halfon;P. Schnoebelen;Georg Zetzsche
通讯作者：
Georg Zetzsche
用于验证的高阶约束喇叭子句
影响因子：
--
作者：
Cathcart Burn T
通讯作者：
Cathcart Burn T
影响因子：
1.2
作者：
J. Cox;K. McAloon;C. Tretkoff
通讯作者：
C. Tretkoff
高阶数据记录的表达能力
影响因子：
1.4
作者：
A. Charalambidis;C. Nomikos;P. Rondogiannis
通讯作者：
P. Rondogiannis