An Oxford Survey of Order Sorted Algebra.

Joseph A. Goguen Razvan Diaconescu

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

Keyphrases

order sorted
predicate logic
data model
query language
programming language
relational algebra
constraint satisfaction
set theory
data collection
algebraic expressions