The following pages link to Term Rewriting and Applications (Q5703861):
Displaying 6 items.
- Termination criteria for tree automata completion (Q730470) (← links)
- Bottom-up rewriting for words and terms (Q741256) (← links)
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- On tree automata that certify termination of left-linear term rewriting systems (Q876043) (← links)
- (Q2980977) (← links)
- Completeness of tree automata completion (Q4993342) (← links)