A graph reduction approach to incremental term rewriting
From MaRDI portal
Publication:5055800
DOI10.1007/978-3-662-21551-7_20zbMath1503.68109OpenAlexW1528162164MaRDI QIDQ5055800
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/978-3-662-21551-7_20
Related Items (2)
Cites Work
This page was built for publication: A graph reduction approach to incremental term rewriting