The following pages link to (Q4222988):
Displaying 5 items.
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Term rewriting with type-safe traversal functions (Q2843609) (← links)
- An account of implementing applicative term rewriting (Q2866805) (← links)
- Termination of Priority Rewriting (Q3618597) (← links)
- FM 2005: Formal Methods (Q5716892) (← links)