A representation theorem for measurable relation algebras.

Steven Givant Hajnal Andréka

Published in: Ann. Pure Appl. Log. (2018)

Keyphrases

relation algebra
expressive power
conceptual graphs
image representation
real time
computer vision
database systems