Order-Sorted Algebra solves the Constructor-Selector, Multiple

Joseph A. Goguen José Meseguer

Published in: LICS (1987)

Keyphrases

order sorted
data mining
case study
low level
query language
dynamic environments