![](/img/cover-not-exists.png)
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
Kirkeby, Maja H., Christiansen, HenningVolume:
105
Language:
english
Journal:
International Journal of Approximate Reasoning
DOI:
10.1016/j.ijar.2018.11.018
Date:
February, 2019
File:
PDF, 483 KB
english, 2019