Term graph rewriting
From MaRDI portal
Publication:4645801
DOI10.1007/3-540-61254-8_16zbMath1407.68241OpenAlexW1503521015MaRDI QIDQ4645801
Publication date: 11 January 2019
Published in: Higher-Order Algebra, Logic, and Term Rewriting (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61254-8_16
Related Items (1)
Cites Work
This page was built for publication: Term graph rewriting