On the Expressive Power of Multiple Heads in CHR

DOI10.1145/2071368.2071374zbMath1351.68049OpenAlexW2021215313WikidataQ130964397 ScholiaQ130964397MaRDI QIDQ2946654

Maurizio Gabbrielli, Maria Chiara Meo, Cinzia Di Giusto

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2071368.2071374

zbMATH Keywords

expressivenessCHRlanguage embeddingmultiset rewriting systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (3)

The expressive power of CHR with priorities ⋮ Expressiveness of Multiple Heads in CHR ⋮ The possibilistic Horn non-clausal knowledge bases

This page was built for publication: On the Expressive Power of Multiple Heads in CHR