Confluence of CHR Revisited: Invariants and Modulo Equivalence

Henning Christiansen, Maja Hanne Kirkeby

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

OriginalsprogDansk
TitelLogic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Antal sider111
Vol/bind11408
ForlagSpringer
Publikationsdato2019
Sider94
ISBN (Trykt)978-3-030-13837-0
DOI
StatusUdgivet - 2019
NavnLecture Notes in Computer Science
Vol/bind11408
ISSN0302-9743

Citer dette

Christiansen, H., & Kirkeby, M. H. (2019). Confluence of CHR Revisited: Invariants and Modulo Equivalence. I Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (Bind 11408, s. 94). Springer . Lecture Notes in Computer Science, Bind. 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. Bind 11408 Springer , 2019. s. 94 (Lecture Notes in Computer Science, Bind 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. i Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. bind 11408, Springer , Lecture Notes in Computer Science, bind 11408, s. 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. Bind 11408 Springer , 2019. s. 94.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. I Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Bind 11408. Springer . 2019. s. 94. (Lecture Notes in Computer Science, Bind 11408). https://doi.org/10.1007/978-3-030-13838-7