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)

Search results