Confluence and Convergence in Probabilistically Terminating Reduction Systems

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

LanguageEnglish
Title of host publicationLogic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
EditorsFabio Fioravanti, John P. Gallagher
Number of pages15
Volume10855
Place of PublicationLecture Notes in Computer Science
PublisherSpringer, LNCS
Date10 Jul 2018
Pages164-179
ISBN (Print)978-3-319-94459-3
ISBN (Electronic)978-3-319-94460-9
DOIs
StatePublished - 10 Jul 2018
SeriesLecture Notes in Computer Science
Volume10855
ISSN0302-9743

Cite this

Kirkeby, M. H., & Christiansen, H. (2018). Confluence and Convergence in Probabilistically Terminating Reduction Systems. In F. Fioravanti, & J. P. Gallagher (Eds.), Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Vol. 10855, pp. 164-179). Lecture Notes in Computer Science: Springer, LNCS. Lecture Notes in Computer Science, Vol.. 10855, DOI: 10.1007/978-3-319-94460-9_10
Kirkeby, Maja Hanne ; Christiansen, Henning. / Confluence and Convergence in Probabilistically Terminating Reduction Systems. Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. editor / Fabio Fioravanti ; John P. Gallagher. Vol. 10855 Lecture Notes in Computer Science : Springer, LNCS, 2018. pp. 164-179 (Lecture Notes in Computer Science, ???volume??? 10855).
@inproceedings{e41227cde2d34a608e6cc865732b8fb4,
title = "Confluence and Convergence in Probabilistically Terminating Reduction Systems",
author = "Kirkeby, {Maja Hanne} and Henning Christiansen",
year = "2018",
month = "7",
day = "10",
doi = "10.1007/978-3-319-94460-9_10",
language = "English",
isbn = "978-3-319-94459-3",
volume = "10855",
pages = "164--179",
editor = "Fabio Fioravanti and Gallagher, {John P.}",
booktitle = "Logic-Based Program Synthesis and Transformation",
publisher = "Springer, LNCS",

}

Kirkeby, MH & Christiansen, H 2018, Confluence and Convergence in Probabilistically Terminating Reduction Systems. in F Fioravanti & JP Gallagher (eds), Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. vol. 10855, Springer, LNCS, Lecture Notes in Computer Science, Lecture Notes in Computer Science, vol. 10855, pp. 164-179. DOI: 10.1007/978-3-319-94460-9_10

Confluence and Convergence in Probabilistically Terminating Reduction Systems. / Kirkeby, Maja Hanne; Christiansen, Henning.

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. ed. / Fabio Fioravanti; John P. Gallagher. Vol. 10855 Lecture Notes in Computer Science : Springer, LNCS, 2018. p. 164-179.

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

TY - GEN

T1 - Confluence and Convergence in Probabilistically Terminating Reduction Systems

AU - Kirkeby,Maja Hanne

AU - Christiansen,Henning

PY - 2018/7/10

Y1 - 2018/7/10

U2 - 10.1007/978-3-319-94460-9_10

DO - 10.1007/978-3-319-94460-9_10

M3 - Article in proceedings

SN - 978-3-319-94459-3

VL - 10855

SP - 164

EP - 179

BT - Logic-Based Program Synthesis and Transformation

PB - Springer, LNCS

CY - Lecture Notes in Computer Science

ER -

Kirkeby MH, Christiansen H. Confluence and Convergence in Probabilistically Terminating Reduction Systems. In Fioravanti F, Gallagher JP, editors, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Vol. 10855. Lecture Notes in Computer Science: Springer, LNCS. 2018. p. 164-179. (Lecture Notes in Computer Science, Vol. 10855). Available from, DOI: 10.1007/978-3-319-94460-9_10