Constructor equivalent term rewriting systems are strongly sequential: A direct proof
From MaRDI portal
Publication:1338780
DOI10.1016/0020-0190(94)00122-7zbMath0823.68048OpenAlexW1995788030MaRDI QIDQ1338780
Publication date: 20 November 1994
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(94)00122-7
Related Items
Cites Work