Set Constraints in Some Equational Theories.

Witold Charatonik

Published in: Inf. Comput. (1998)

Keyphrases

equational theories
small number
databases
linear constraints
constraint sets
artificial intelligence
high level
data management
constrained optimization
lower and upper bounds
function symbols