Welcome to Constraint Handling Rules

DOI10.1007/978-3-540-92243-8_1zbMath1229.68019OpenAlexW1583555691MaRDI QIDQ3616877

Thom Frühwirth

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_1

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR ⋮ CHR for Imperative Host Languages

Cites Work

• Unnamed Item
• Constraint Handling Rules. Current research topics
• Confluence and semantics of constraint simplification rules
• Theory and practice of constraint handling rules
• Term Rewriting and All That
• Logic Programming

This page was built for publication: Welcome to Constraint Handling Rules