The following pages link to (Q2723887):
Displaying 5 items.
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)
