Termination and confluence in infinitary term rewriting
From MaRDI portal
Publication:4254682
DOI10.2307/2586651zbMath0927.68043OpenAlexW2107879081MaRDI QIDQ4254682
Publication date: 13 December 1999
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586651
Related Items
Cites Work