Two Axiomatizations of Nelson Algebras.

Published in: Formaliz. Math. (2015)

Keyphrases

decision procedures
spatial reasoning
topological spaces
distributive lattices
data sets
database systems
temporal reasoning
interval algebra
databases
search engine
image processing
artificial neural networks
relation algebra