Another definition of order-sorted algebra.

Published in: J. Comput. Sci. Technol. (1998)

Keyphrases

order sorted
predicate logic
data model
set theory
data sets
knowledge acquisition
database
neural network
query language
relational algebra
algebraic expressions
databases
natural language processing
general purpose