Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses

Toby Cathcart Burn, C.-H. Luke Ong, Steven Ramsay, Dominik Wagner 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
PDF
Type
Conference paper
Publication
36th Annual ACM/IEEE Symposium on Logic in Computer Science