Relation algebras of Sugihara, Belnap, Meyer, and Church.

Richard L. Kramer Roger D. Maddux

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

relation algebra
spatial reasoning
search engine
bayesian networks
data structure
real time
data model