The following pages link to (Q4472433):
Displaying 6 items.
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q2851051) (← links)
- A meta linear logical framework (Q2871843) (← links)