The Comparison of a CPO-based Semantics with a CMS-based semantics for CSP.

Mila E. Majster-Cederbaum Frank Zetzsche

Published in: Theor. Comput. Sci. (1994)

Keyphrases

logic programming
constraint satisfaction
formal semantics
data sets
databases
constraint satisfaction problems
semantic representation
transformation rules
logical language