On the Normalization and Unique Normalization Properties of Term Rewrite Systems
From MaRDI portal
Publication:3608777
DOI10.1007/978-3-540-73595-3_17zbMath1213.68348OpenAlexW1596143714MaRDI QIDQ3608777
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_17
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
New Undecidability Results for Properties of Term Rewrite Systems ⋮ Normalization properties for shallow TRS and innermost rewriting ⋮ Undecidable properties of flat term rewrite systems ⋮ Unique Normalization for Shallow TRS ⋮ Non-linear rewrite closure and weak normalization
This page was built for publication: On the Normalization and Unique Normalization Properties of Term Rewrite Systems
