The following pages link to (Q4205073):
Displaying 11 items.
- Infinitary combinatory reduction systems (Q550248) (← links)
- Infinite normal forms for non-linear term rewriting systems (Q672235) (← links)
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Head boundedness of nonterminating rewritings (Q1894332) (← links)
- Lifting infinite normal form definitions from term rewriting to term graph rewriting (Q2843930) (← links)
- (Q4202949) (← links)
- The normal form of Borel sets. Part II: Borel sets of infinite rank (Q4260617) (← links)
- Redex capturing in term graph rewriting (concise version) (Q5055745) (← links)
- Infinite terms and infinite rewritings (Q5881271) (← links)