Confluence of CHR Revisited: Invariants and Modulo Equivalence

Henning Christiansen, Maja Hanne Kirkeby

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageDanish
Title of host publicationLogic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Number of pages111
Volume11408
PublisherSpringer
Publication date2019
Pages94
ISBN (Print)978-3-030-13837-0
DOIs
Publication statusPublished - 2019
SeriesLecture Notes in Computer Science
Volume11408
ISSN0302-9743

Cite this

Christiansen, H., & Kirkeby, M. H. (2019). Confluence of CHR Revisited: Invariants and Modulo Equivalence. In Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Vol. 11408, pp. 94). Springer . Lecture Notes in Computer Science, Vol.. 11408 https://doi.org/10.1007/978-3-030-13838-7
Christiansen, Henning ; Kirkeby, Maja Hanne. / Confluence of CHR Revisited: Invariants and Modulo Equivalence. Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Vol. 11408 Springer , 2019. pp. 94 (Lecture Notes in Computer Science, Vol. 11408).
@inproceedings{546f965d538e48168f3f2bd3fc355f0a,
title = "Confluence of CHR Revisited: Invariants and Modulo Equivalence",
author = "Henning Christiansen and Kirkeby, {Maja Hanne}",
year = "2019",
doi = "10.1007/978-3-030-13838-7",
language = "Dansk",
isbn = "978-3-030-13837-0",
volume = "11408",
pages = "94",
booktitle = "Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers",
publisher = "Springer",

}

Christiansen, H & Kirkeby, MH 2019, Confluence of CHR Revisited: Invariants and Modulo Equivalence. in Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. vol. 11408, Springer , Lecture Notes in Computer Science, vol. 11408, pp. 94. https://doi.org/10.1007/978-3-030-13838-7

Confluence of CHR Revisited: Invariants and Modulo Equivalence. / Christiansen, Henning; Kirkeby, Maja Hanne.

Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Vol. 11408 Springer , 2019. p. 94.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

TY - GEN

T1 - Confluence of CHR Revisited: Invariants and Modulo Equivalence

AU - Christiansen, Henning

AU - Kirkeby, Maja Hanne

PY - 2019

Y1 - 2019

U2 - 10.1007/978-3-030-13838-7

DO - 10.1007/978-3-030-13838-7

M3 - Konferencebidrag i proceedings

SN - 978-3-030-13837-0

VL - 11408

SP - 94

BT - Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

PB - Springer

ER -

Christiansen H, Kirkeby MH. Confluence of CHR Revisited: Invariants and Modulo Equivalence. In Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Vol. 11408. Springer . 2019. p. 94. (Lecture Notes in Computer Science, Vol. 11408). https://doi.org/10.1007/978-3-030-13838-7