Expressiveness of Multiple Heads in CHR

DOI10.1007/978-3-540-95891-8_21zbMath1206.68078OpenAlexW1854683928MaRDI QIDQ3599074

Maria Chiara Meo, Cinzia Di Giusto, Maurizio Gabbrielli

Publication date: 3 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

The expressive power of CHR with priorities ⋮ Turing-Complete Subclasses of CHR

Cites Work

• Embedding as a tool for language comparison
• Tutorial on separation results in process calculi via leader election problems
• On the Expressive Power of Multiple Heads in CHR
• Theory and practice of constraint handling rules
• Logic Programming
• Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Expressiveness of Multiple Heads in CHR