Pages that link to "Item:Q1635507"
From MaRDI portal
The following pages link to The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507):
Displaying 7 items.
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Term orderings for non-reachability of (conditional) rewriting (Q2104512) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)
- mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
