Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems
From MaRDI portal
Publication:3527306
DOI10.1007/11805618_26zbMath1151.68455OpenAlexW2107851833MaRDI QIDQ3527306
Publication date: 25 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11805618_26
Related Items (5)
Undecidable properties of flat term rewrite systems ⋮ Unique Normalization for Shallow TRS ⋮ Non-linear rewrite closure and weak normalization ⋮ Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems ⋮ Undecidable Properties on Length-Two String Rewriting Systems
This page was built for publication: Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems
