Fingerprint
Dive into the research topics of 'Initial Limit Datalog: a new extensible class of decidable constrained Horn clauses'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Initial Limit Datalog: a new extensible class of decidable constrained Horn clauses
Toby Cathcart Burn, Luke Ong, Steven Ramsay, Dominik Wagner
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
1
Citation
(Scopus)
49
Downloads
(Pure)