Confluence Modulo Equivalence in Constraint Handling Rules.

Henning Christiansen Maja H. Kirkeby

Published in: LOPSTR (2014)

Keyphrases

constraint handling rules
rewrite systems
data sets
databases
computer vision
information systems
decision trees
digital libraries
user interface