Termination of String Rewriting with Matrix Interpretations
From MaRDI portal
Publication:3527305
DOI10.1007/11805618_25zbMath1151.68447MaRDI QIDQ3527305
Dieter Hofbauer, Johannes Waldmann
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
68Q42: Grammars and rewriting systems
Related Items
Proving Termination with (Boolean) Satisfaction, Lazy productivity via termination, Matrix interpretations for proving termination of term rewriting, Arctic Termination ...Below Zero, Automatic Termination
Uses Software