Termination of String Rewriting with Matrix Interpretations
From MaRDI portal
Publication:3527305
DOI10.1007/11805618_25zbMath1151.68447OpenAlexW1489016793MaRDI QIDQ3527305
Johannes Waldmann, Dieter Hofbauer
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_25
Related Items (13)
Termination of Cycle Rewriting by Transformation and Matrix Interpretation ⋮ Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings ⋮ Arctic Termination ...Below Zero ⋮ Unnamed Item ⋮ Matrix interpretations for proving termination of term rewriting ⋮ Lazy productivity via termination ⋮ An automated approach to the Collatz conjecture ⋮ Multi-dimensional interpretations for termination of term rewriting ⋮ An automated approach to the Collatz conjecture ⋮ Automatic Termination ⋮ Proving Termination with (Boolean) Satisfaction ⋮ Tuple interpretations for termination of term rewriting ⋮ Real or natural number interpretation and their effect on complexity
Uses Software
This page was built for publication: Termination of String Rewriting with Matrix Interpretations
