%0 Book Section %1 series/lncs/WolfRV08 %A Wolf, Armin %A Robin, Jacques %A Vitorino, Jairson %B Constraint Handling Rules %D 2008 %E Schrijvers, Tom %E Frühwirth, Thom W. %I Springer %K dblp %P 48-69 %T Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications. %U http://dblp.uni-trier.de/db/series/lncs/lncs5388.html#WolfRV08 %V 5388 %@ 978-3-540-92242-1

@incollection{series/lncs/WolfRV08, added-at = {2017-05-16T00:00:00.000+0200}, author = {Wolf, Armin and Robin, Jacques and Vitorino, Jairson}, biburl = {https://www.bibsonomy.org/bibtex/26fcf936f046c3505c6fa9ba917c9e015/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_3}, interhash = {174d683e9303e2def12287c977dcb8ca}, intrahash = {6fcf936f046c3505c6fa9ba917c9e015}, isbn = {978-3-540-92242-1}, keywords = {dblp}, pages = {48-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:55:46.000+0200}, title = {Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs5388.html#WolfRV08}, volume = 5388, year = 2008 }