Bottom-up tree pushdown automata and rewrite systems
From MaRDI portal
Publication:5055768
DOI10.1007/3-540-53904-2_104zbMath1503.68096MaRDI QIDQ5055768
Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi
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_104
rewrite systems; tree languages; convergent systems; tree automaton; term rewrite systems; Church-Rosser systems; Noetherian systems; pushdown store
Related Items
Handling Left-Quadratic Rules When Completing Tree Automata, Termination criteria for tree automata completion, Bottom-up tree pushdown automata: Classification and connection with rewrite systems, Tree automata for rewrite strategies