Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes.
Fabian ZaiserLuke OngPublished in: SMT (2021)
Keyphrases
- data types
- abstract data types
- algebraic geometry
- mathematical theory
- high level
- low level
- database management systems
- computer algebra
- set theoretic
- general theory
- theoretical basis
- higher level
- data structure
- higher order
- linear algebra
- artificial intelligence
- machine learning
- formal theory
- data mining
- database
- theoretical framework
- user defined
- database systems
- decision making
- information retrieval
- tree models
- neural network