Universal Algebra in UniMath.

Gianluca Amato Marco Maggesi Maurizio Parton Cosimo Perini Brogi

Published in: CoRR (2020)

Keyphrases

data model
query language
real time
algebraic expressions
relational algebra
image sequences
image processing
boolean algebra
laplace transform
data structure
search algorithm
case study
search engine
turing machine
algebraic structure
kolmogorov complexity
learning algorithm