Politeness for the Theory of Algebraic Datatypes.

Ying Sheng Yoni Zohar Christophe Ringeissen Jane Lange Pascal Fontaine Clark W. Barrett

Published in: IJCAR (1) (2020)

Keyphrases

data types
information retrieval
data structure
theoretical framework
linear algebra
computer algebra
databases
genetic algorithm
database systems
information processing
data mining algorithms
theoretical basis
relational databases
pedagogical agents
algebraic structure
algebraic geometry