Toby Cathcart Burn | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Dominik Wagner
15 publications
C. -H. Luke Ong
12 publications
Luke Ong
11 publications
Steven Ramsay
5 publications
Steven J. Ramsay
3 publications

research

∙ 04/29/2021

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

We present initial limit Datalog, a new extensible class of constrained ...

0 Toby Cathcart Burn, et al. ∙

research

∙ 05/17/2017

Higher-Order Constrained Horn Clauses and Refinement Types

Motivated by applications in automated verification of higher-order func...

0 Toby Cathcart Burn, et al. ∙

Success!

An error occurred