A Rewriting Semantics for Maude Strategies
From MaRDI portal
Publication:5179141
DOI10.1016/j.entcs.2009.05.022zbMath1347.68199OpenAlexW2111874500WikidataQ123905859 ScholiaQ123905859MaRDI QIDQ5179141
Could not fetch data.
Publication date: 19 March 2015
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.022
Could not fetch data.
Could not fetch data.
