Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
From MaRDI portal
Publication:3591088
DOI10.1007/978-3-540-71410-1_14zbMath1196.68114MaRDI QIDQ3591088
Publication date: 10 September 2007
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71410-1_14
68Q42: Grammars and rewriting systems
Related Items
Transforming SAT into Termination of Rewriting, Loop detection in term rewriting using the eliminating unfoldings, Deciding Innermost Loops
Uses Software