The following pages link to (Q4222990):
Displaying 9 items.
- Invariant-driven specifications in Maude (Q838161) (← links)
- Maude's module algebra (Q882456) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- The \(kS_3\)-module algebra structures on \(M_3(k)\) (Q2310984) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Two Decades of Maude (Q2945709) (← links)