Login / Signup

Observable Confluence for Constraint Handling Rules.

Gregory J. DuckPeter J. StuckeyMartin Sulzmann
Published in: ICLP (2007)
Keyphrases
  • constraint handling rules
  • rewrite systems
  • machine learning
  • decision making
  • software engineering