Memory Reuse for CHR

DOI10.1007/11799573_8zbMath1131.68401OpenAlexW1521013649MaRDI QIDQ5449593

Tom Schrijvers, Bart Demoen, Jon Sneyers

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/125340

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

CHR for Imperative Host Languages ⋮ Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities

This page was built for publication: Memory Reuse for CHR