Formalising Overlap Algebras in Matita.

Claudio Sacerdoti Coen Enrico Tassi

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

topological spaces
search engine
three dimensional
multiresolution
spatial reasoning
relation algebra