Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems

José Meseguer Joseph A. Goguen

Published in: Inf. Comput. (1993)

Keyphrases

problems involving
optimization problems
data model
image representation
neural network
data mining
knowledge representation
co occurrence