Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Maja Hanne Kirkeby, Henning Christiansen

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageDanish
JournalInternational Journal of Approximate Reasoning
Volume105
Pages (from-to)217-228
ISSN0888-613X
DOIs
Publication statusPublished - 2019

Cite this

@article{29664f90c84d44cbab15044e1a6edf78,
title = "Confluence and convergence modulo equivalence in probabilistically terminating reduction systems",
author = "Kirkeby, {Maja Hanne} and Henning Christiansen",
year = "2019",
doi = "10.1016/j.ijar.2018.11.018",
language = "Dansk",
volume = "105",
pages = "217--228",
journal = "International Journal of Approximate Reasoning",
issn = "0888-613X",
publisher = "Elsevier Inc.",

}

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. / Kirkeby, Maja Hanne; Christiansen, Henning.

In: International Journal of Approximate Reasoning, Vol. 105, 2019, p. 217-228.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

AU - Kirkeby, Maja Hanne

AU - Christiansen, Henning

PY - 2019

Y1 - 2019

U2 - 10.1016/j.ijar.2018.11.018

DO - 10.1016/j.ijar.2018.11.018

M3 - Tidsskriftartikel

VL - 105

SP - 217

EP - 228

JO - International Journal of Approximate Reasoning

JF - International Journal of Approximate Reasoning

SN - 0888-613X

ER -