Characterizing confluence by rewrite closure and right ground term rewrite systems
From MaRDI portal
Publication:1885352
DOI10.1007/S00200-004-0148-6zbMath1112.68078OpenAlexW2051991815MaRDI QIDQ1885352
Guillem Godoy, Rakesh M. Verma, Ashish Kumar Tiwari
Publication date: 28 October 2004
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00200-004-0148-6
Related Items (3)
New Undecidability Results for Properties of Term Rewrite Systems ⋮ Murg term rewrite systems ⋮ Non-linear rewrite closure and weak normalization
This page was built for publication: Characterizing confluence by rewrite closure and right ground term rewrite systems
