Sign in

On proving confluence modulo equivalence for Constraint Handling Rules.

Henning ChristiansenMaja 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