Pages that link to "Item:Q2844063"
From MaRDI portal
The following pages link to Strategies and user interfaces in Maude at work (Q2844063):
Displaying 8 items.
- Invariant-driven specifications in Maude (Q838161) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Towards Maude 2. 0 (Q2703706) (← links)
- Maude's internal strategies (Q2849581) (← links)
- Deduction, strategies, and rewriting (Q2864357) (← links)
- The Maude strategy language (Q6113021) (← links)
- An Overview of the Maude Strategy Language and its Applications (Q6487295) (← links)