Deciding and Interpolating Algebraic Data Types by Reduction.

Hossein Hojjat Philipp Rümmer

Published in: SYNASC (2017)

Keyphrases

data types
database systems
data model
data structure
user defined
back end
database management systems
database server
abstract data types
data sets
data mining
data management
data mining algorithms
data manipulation language
machine learning
microsoft sql server