Operational semantics and confluence of constraint propagation rules

This publication has 8 references indexed in Scilit:

• On confluence of Constraint Handling Rules
  Published by Springer Nature ,1996
• Constraint Programming: Basics and Trends
  Published by Springer Nature ,1995
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Concurrent Constraint Programming
  Published by MIT Press ,1993
• Constraint logic programming
  The Knowledge Engineering Review, 1991
• Confluence of conditional rewrite systems
  Published by Springer Nature ,1988
• Contextual rewriting
  Lecture Notes in Computer Science, 1985
• On Theories with a Combinatorial Definition of "Equivalence"
  Annals of Mathematics, 1942