Pages that link to "Item:Q3623931"
From MaRDI portal
The following pages link to State Space Reduction of Rewrite Theories Using Invisible Transitions (Q3623931):
Displaying 6 items.
- Language definitions as rewrite theories (Q730476) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Equational Abstractions for Reducing the State Space of Rewrite Theories (Q5179134) (← links)
- Algebraic Methodology and Software Technology (Q5312978) (← links)