Adaptive CHR Meets CHR:::v:::: An Extended Refined Operational Semantics for CHR:::v::: Based on Justifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Armin Wolf, Jacques Robin, Jairson Vitorino. Adaptive CHR Meets CHR:::v:::: An Extended Refined Operational Semantics for CHR:::v::: Based on Justifications. In Tom Schrijvers, Thom W. FrÃ¼hwirth, editors, Constraint Handling Rules, Current Research Topics. Volume 5388 of Lecture Notes in Computer Science, pages 48-69, Springer, 2008. [doi]

This author has not been identified. Look up 'Armin Wolf' in GoogleThis author has not been identified. Look up 'Jacques Robin' in GoogleThis author has not been identified. Look up 'Jairson Vitorino' in Google

runs on WebDSL