The following pages link to Developing developments (Q1392147):
Displaying 15 items.
- Decreasing diagrams and relative termination (Q438562) (← links)
- Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901) (← links)
- Developing developments (Q1392147) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Confluence of orthogonal term rewriting systems in the prototype verification system (Q2362205) (← links)
- Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (Q2829264) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- Proving Confluence of Term Rewriting Systems Automatically (Q3636821) (← links)
- On modular properties of higher order extensional lambda calculi (Q4571956) (← links)
- (Q4993363) (← links)
- (Q5089009) (← links)
- The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
