The following pages link to (Q4222980):
Displayed 7 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- A Logic for Rewriting Strategies (Q2841238) (← links)
- Term-graph Rewriting in Tom Using Relative Positions (Q2870309) (← links)