Login / Signup
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
CoRR (2020)
Keyphrases
</>
data types
horn clauses
data model
inference rules
first order logic
database systems
user defined
database management systems
logic programs
data structure
database queries
function symbols
abstract data types
databases
data formats
data management
software engineering
artificial intelligence
data sets