The following pages link to Maude's module algebra (Q882456):
Displaying 12 items.
- Invariant-driven specifications in Maude (Q838161) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- The \(kS_3\)-module algebra structures on \(M_3(k)\) (Q2310984) (← links)
- Parameterized theories and views in full Maude 2. 0 (Q2703707) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Two Decades of Maude (Q2945709) (← links)
- (Q4222990) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)