Reflexive tactics for algebra, revisited.

Kazuhiko Sakaguchi

Published in: CoRR (2022)

Keyphrases

data model
query language
relational algebra
fuzzy relations
algebraic structure
real time
information retrieval
computer vision
website
search algorithm
algebraic geometry