Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras.

Published in: RAMiCS (2017)

Keyphrases

relation algebra
distributive lattices
clifford algebra
functional dependencies
genetic algorithm
spatial reasoning
rough sets
integrity constraints
temporal reasoning
belief functions
approximation spaces
fuzzy relations
universal relation
topological spaces