A rewriting machine and optimization of strategies of term rewriting
From MaRDI portal
Publication:1407059
DOI10.1023/A:1021819523233zbMath1031.68068OpenAlexW1537623425MaRDI QIDQ1407059
Publication date: 9 September 2003
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1021819523233
Uses Software
This page was built for publication: A rewriting machine and optimization of strategies of term rewriting