Sign in

Confluence Modulo Equivalence in Constraint Handling Rules.

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