Automated Reasoning
From MaRDI portal
Publication:5307051
DOI10.1007/B98691zbMath1126.68566OpenAlexW4239036627MaRDI QIDQ5307051
Guillem Godoy, Ashish Kumar Tiwari
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Related Items (3)
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: Automated Reasoning