Reachability Analysis for Termination and Confluence of Rewriting
From MaRDI portal
Publication:6091333
DOI10.1007/978-3-030-17462-0_15zbMath1527.68119MaRDI QIDQ6091333
Christian Sternagel, Akihisa Yamada
Publication date: 24 November 2023
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Related Items (2)
Automatically Proving and Disproving Feasibility Conditions ⋮ Term orderings for non-reachability of (conditional) rewriting
This page was built for publication: Reachability Analysis for Termination and Confluence of Rewriting
