On the Axiomatizability of Quantitative Algebras.

Radu Mardare Prakash Panangaden Gordon D. Plotkin

Published in: CoRR (2018)

Keyphrases

qualitative and quantitative
quantitative and qualitative
temporal reasoning
database
learning algorithm
cooperative
multiresolution
information retrieval
image processing
relation algebra
clifford algebra
distributive lattices