Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Maja Hanne Kirkeby, Henning Christiansen

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogDansk
TidsskriftInternational Journal of Approximate Reasoning
Vol/bind105
Sider (fra-til)217-228
ISSN0888-613X
DOI
StatusUdgivet - 2019

Citer dette

@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.

I: International Journal of Approximate Reasoning, Bind 105, 2019, s. 217-228.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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 -