The following pages link to (Q4501166):
Displayed 18 items.
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Developing developments (Q1392147) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Expression reduction systems with patterns (Q2467565) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Development closed critical pairs (Q4645811) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Combinatory reduction systems with explicit substitution that preserve strong normalisation (Q5055859) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- (Q5089030) (← links)
- Relative normalization in Deterministic Residual Structures (Q5878909) (← links)
- On interreduction of semi-complete term rewriting systems (Q5941203) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
- (Q6202803) (← links)