The following pages link to (Q4222858):
Displaying 15 items.
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- A Maude specification of an object-oriented model for telecommunication networks (Q1608922) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Rewriting (Q2751361) (← links)
- Generic type-preserving traversal strategies (Q2841223) (← links)
- A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
- A logic for rewriting strategies (Q2841238) (← links)
- Scoped dynamic rewrite rules (Q2841252) (← links)
- Rewrite strategies in the rewriting calculus (Q2844065) (← links)
- (Q4222853) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)
