A Compositional Semantics for CHR with Propagation Rules

DOI10.1007/978-3-540-92243-8_6zbMath1229.68020OpenAlexW1575094211MaRDI QIDQ3616886

Maria Chiara Meo, Maurizio Gabbrielli, Paolo Tacchella

Publication date: 26 March 2009

Published in: Constraint Handling Rules (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92243-8_6

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• A compositional semantics for CHR
• Guard Reasoning in the Refined Operational Semantics of CHR
• Theory and practice of constraint handling rules
• Logic Programming
• Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Compositional Semantics for CHR with Propagation Rules