The following pages link to (Q2767191):
Displaying 10 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Maude's module algebra (Q882456) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Two Decades of Maude (Q2945709) (← links)
- (Q4222990) (← links)