Superposition with Datatypes and Codatatypes.

Jasmin Christian Blanchette Nicolas Peltier Simon Robillard

Published in: IJCAR (2018)

Keyphrases

data types
data structure
data model
database management systems
user defined
database systems
theorem proving
data mining algorithms
control system
data mining
wavelet transform