Proving innermost normalisation automatically
From MaRDI portal
Publication:4594225
DOI10.1007/3-540-62950-5_68zbMath1379.68191MaRDI QIDQ4594225
Publication date: 17 November 2017
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/18360
68Q42: Grammars and rewriting systems
Related Items
Some characteristics of strong innermost normalization, ELAN from a rewriting logic point of view, Termination of term rewriting using dependency pairs, Usable Rules for Context-Sensitive Rewrite Systems, Certifying a Termination Criterion Based on Graphs, without Graphs