| Language | English |
|---|---|
| Title of host publication | Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers |
| Editors | Fabio Fioravanti, John P. Gallagher |
| Number of pages | 15 |
| Volume | 10855 |
| Place of Publication | Lecture Notes in Computer Science |
| Publisher | Springer, LNCS |
| Date | 10 Jul 2018 |
| Pages | 164-179 |
| ISBN (Print) | 978-3-319-94459-3 |
| ISBN (Electronic) | 978-3-319-94460-9 |
| DOIs | |
| State | Published - 10 Jul 2018 |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 10855 |
| ISSN | 0302-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
@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 proceeding › Article in proceedings › Research › peer-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