Formalization of Universal Algebra in Agda.
Emmanuel GuntherAlejandro GadeaMiguel PaganoPublished in: LSFA (2017)
Keyphrases
- data model
- formal model
- relational algebra
- algebraic structure
- decision making
- algebraic structures
- relational databases
- evolutionary algorithm
- query language
- object oriented
- real time
- data management
- algebraic expressions
- laplace transform
- kolmogorov complexity
- logical language
- turing machine
- knowledge representation
- case study
- computer vision