Pages that link to "Item:Q2228436"
From MaRDI portal
The following pages link to The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436):
Displaying 4 items.
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)