The following pages link to Term Rewriting and Applications (Q5703854):
Displaying 5 items.
- Conservativity of nested relational calculi with internal generic functions (Q1321813) (← links)
- Termination of Priority Rewriting (Q3618597) (← links)
- On proving termination by innermost termination (Q5055854) (← links)
- Term Rewriting and Applications (Q5703865) (← links)
- Normalization by leftmost innermost rewriting (Q5881209) (← links)