Collapsed tree rewriting: Completeness, confluence, and modularity
From MaRDI portal
Publication:5881178
DOI10.1007/3-540-56393-8_7MaRDI QIDQ5881178
Publication date: 9 March 2023
Published in: Conditional Term Rewriting Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-56393-8_7
68Q42: Grammars and rewriting systems
Related Items
Modularity in noncopying term rewriting, Modular aspects of term graph rewriting, A uniform framework for term and graph rewriting applied to combined systems, Bisimilarity in term graph rewriting.