Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system
From MaRDI portal
Publication:1901710
DOI10.1007/S002360050060zbMath0849.68073OpenAlexW3149147109MaRDI QIDQ1901710
Publication date: 16 November 1995
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050060
Related Items (1)
This page was built for publication: Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system