On relationship between term rewriting systems and regular tree languages
From MaRDI portal
Publication:5055769
DOI10.1007/3-540-53904-2_105zbMath1503.68126WikidataQ58064555 ScholiaQ58064555MaRDI QIDQ5055769
Publication date: 9 December 2022
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-53904-2_105
Related Items
Solving divergence in Knuth--Bendix completion by enriching signatures, Recognizable tree-languages and nonlinear morphisms