State Space Reduction of Rewrite Theories Using Invisible Transitions
From MaRDI portal
Publication:3623931
DOI10.1007/11784180_13zbMath1236.68182OpenAlexW2131207610MaRDI QIDQ3623931
Publication date: 28 April 2009
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11784180_13
Related Items
The rewriting logic semantics project, Twenty years of rewriting logic, On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories, Equational Abstractions for Reducing the State Space of Rewrite Theories, Language definitions as rewrite theories
Uses Software