Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability.

Lawrence S. Moss José Meseguer Joseph A. Goguen

Published in: Theor. Comput. Sci. (1992)

Keyphrases

topological spaces
temporal reasoning
data sets
spatial reasoning
relation algebra
databases
decision trees
multi agent
clifford algebra
neural network
information systems
image processing
image segmentation
object recognition
artificial neural networks
interval algebra