Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

Henning Christiansen, Maja Hanne Kirkeby

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

Original languageEnglish
Title of host publicationFunctional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Number of pages130
Volume11285
PublisherSpringer
Publication date2019
Pages112
ISBN (Print)978-3-030-16201-6
DOIs
Publication statusPublished - 2019
SeriesLecture Notes in Computer Science
Volume11285
ISSN0302-9743

Cite this

Christiansen, H., & Kirkeby, M. H. (2019). Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. In Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers (Vol. 11285, pp. 112). Springer . Lecture Notes in Computer Science, Vol.. 11285 https://doi.org/10.1007/978-3-030-16202-3_7
Christiansen, Henning ; Kirkeby, Maja Hanne. / Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Vol. 11285 Springer , 2019. pp. 112 (Lecture Notes in Computer Science, Vol. 11285).
@inproceedings{ae9314051271461a811beb8a2d3c6a1d,
title = "Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs",
author = "Henning Christiansen and Kirkeby, {Maja Hanne}",
year = "2019",
doi = "10.1007/978-3-030-16202-3_7",
language = "English",
isbn = "978-3-030-16201-6",
volume = "11285",
pages = "112",
booktitle = "Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers",
publisher = "Springer",

}

Christiansen, H & Kirkeby, MH 2019, Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. in Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. vol. 11285, Springer , Lecture Notes in Computer Science, vol. 11285, pp. 112. https://doi.org/10.1007/978-3-030-16202-3_7

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. / Christiansen, Henning; Kirkeby, Maja Hanne.

Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Vol. 11285 Springer , 2019. p. 112.

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

TY - GEN

T1 - Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

AU - Christiansen, Henning

AU - Kirkeby, Maja Hanne

PY - 2019

Y1 - 2019

U2 - 10.1007/978-3-030-16202-3_7

DO - 10.1007/978-3-030-16202-3_7

M3 - Article in proceedings

SN - 978-3-030-16201-6

VL - 11285

SP - 112

BT - Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

PB - Springer

ER -

Christiansen H, Kirkeby MH. Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. In Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Vol. 11285. Springer . 2019. p. 112. (Lecture Notes in Computer Science, Vol. 11285). https://doi.org/10.1007/978-3-030-16202-3_7