Finite family developments
From MaRDI portal
Publication:4594237
DOI10.1007/3-540-62950-5_80zbMath1379.68208MaRDI QIDQ4594237
Publication date: 17 November 2017
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-62950-5_80
68Q42: Grammars and rewriting systems
Related Items
Unnamed Item, Towards a Systematic Method for Proving Termination of Graph Transformation Systems, On the longest perpetual reductions in orthogonal expression reduction systems, Perpetual reductions in \(\lambda\)-calculus, Descendants and origins in term rewriting., Perpetuality and uniform normalization in orthogonal rewrite systems, ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM