Confluence of Non-Left-Linear TRSs via Relative Termination
From MaRDI portal
Publication:2891456
DOI10.1007/978-3-642-28717-6_21zbMath1352.68121OpenAlexW1618529925MaRDI QIDQ2891456
No author found.
Publication date: 15 June 2012
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28717-6_21
Related Items (3)
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent ⋮ Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems ⋮ Labelings for decreasing diagrams
Uses Software
This page was built for publication: Confluence of Non-Left-Linear TRSs via Relative Termination
