Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

DOI10.1016/j.ijar.2018.11.018zbMath1452.68095OpenAlexW2902618432WikidataQ125525914 ScholiaQ125525914MaRDI QIDQ1726351

Could not fetch data.

Publication date: 20 February 2019

Published in: (Search for Journal in Brave)

Full work available at URL: https://forskning.ruc.dk/da/publications/29664f90-c84d-44cb-ab15-044e1a6edf78

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.