Rewriting with equivalence relations in ACL2
From MaRDI portal
Publication:928668
DOI10.1007/s10817-007-9095-9zbMath1140.68029MaRDI QIDQ928668
Matt Kaufmann, J. Strother Moore
Publication date: 11 June 2008
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-007-9095-9
68Q42: Grammars and rewriting systems
Uses Software
Cites Work