%0 Book Section %1 series/lncs/GabbrielliMT08 %A Gabbrielli, Maurizio %A Meo, Maria Chiara %A Tacchella, Paolo %B Constraint Handling Rules %D 2008 %E Schrijvers, Tom %E Frühwirth, Thom W. %I Springer %K dblp %P 119-160 %T A Compositional Semantics for CHR with Propagation Rules. %U http://dblp.uni-trier.de/db/series/lncs/lncs5388.html#GabbrielliMT08 %V 5388 %@ 978-3-540-92242-1

@incollection{series/lncs/GabbrielliMT08, added-at = {2022-10-02T00:00:00.000+0200}, author = {Gabbrielli, Maurizio and Meo, Maria Chiara and Tacchella, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2e8b1899cdcaf26a49c3d1f1209de7d11/dblp}, booktitle = {Constraint Handling Rules}, crossref = {series/lncs/5388}, editor = {Schrijvers, Tom and Frühwirth, Thom W.}, ee = {https://doi.org/10.1007/978-3-540-92243-8_6}, interhash = {9a9d52ab18df13079c91f63665e22f99}, intrahash = {e8b1899cdcaf26a49c3d1f1209de7d11}, isbn = {978-3-540-92242-1}, keywords = {dblp}, pages = {119-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T10:15:52.000+0200}, title = {A Compositional Semantics for CHR with Propagation Rules.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs5388.html#GabbrielliMT08}, volume = 5388, year = 2008 }