On proving confluence modulo equivalence for Constraint Handling Rules.

Henning Christiansen Maja H. Kirkeby

Published in: Formal Aspects Comput. (2017)

Keyphrases

constraint handling rules
real time
neural network
machine learning
multimedia
artificial intelligence
np complete
rewrite systems
update operators