Login / Signup

Diagrammatic confluence for Constraint Handling Rules.

Rémy Haemmerlé
Published in: Theory Pract. Log. Program. (2012)
Keyphrases
  • constraint handling rules
  • rewrite systems
  • neural network
  • artificial intelligence
  • database
  • general purpose