The following pages link to (Q4222983):
Displaying 6 items.
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Compact normalisation trace via lazy rewriting (Q2841224) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)