On Free ω-Continuous and Regular Ordered Algebras.

Zoltán Ésik Dexter Kozen

Published in: CoRR (2016)

Keyphrases

spatial reasoning
database
real time
search algorithm
partially ordered
multiscale
digital libraries
continuous domains