Finite family developments
From MaRDI portal
Publication:4594237
DOI10.1007/3-540-62950-5_80zbMath1379.68208OpenAlexW1596473987MaRDI 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
Related Items
Towards a Systematic Method for Proving Termination of Graph Transformation Systems ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Unnamed Item ⋮ ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ Descendants and origins in term rewriting. ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems
This page was built for publication: Finite family developments