Expressiveness of Multiple Heads in CHR

DOI10.1007/978-3-540-95891-8_21MaRDI QIDQ3599074zbMATH OpenOpenAlexFDO

Authors Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo

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)

Recommendations

• On the expressive power of multiple heads in CHR
• The expressive power of CHR with priorities
• A compositional semantics for CHR
• Theory and practice of constraint handling rules
• Constraint solving with constraint handling rules

Cites work

• Embedding as a tool for language comparison
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1304267 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Logic Programming
• Logic Programming
• On the expressive power of multiple heads in CHR
• Theory and practice of constraint handling rules
• Tutorial on separation results in process calculi via leader election problems

Cited in

(3)

• On the expressive power of multiple heads in CHR
• The expressive power of CHR with priorities
• Turing-Complete Subclasses of CHR

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3599074)