Pages that link to "Item:Q5204334"
From MaRDI portal
The following pages link to Completion of rewrite systems with membership constraints (Q5204334):
Displaying 12 items.
- Dominance constraints in stratified context unification (Q845917) (← links)
- Completion of rewrite systems with membership constraints. I: Deduction rules (Q1264438) (← links)
- Completion of rewrite systems with membership constraints. II: Constraint solving (Q1264439) (← links)
- Equational formulae with membership constraints (Q1333268) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- On the non-termination of MDG-based abstract state enumeration (Q1399962) (← links)
- A Completion Method to Decide Reachability in Rewrite Systems (Q2964463) (← links)
- Completeness of rewrite rules and rewrite strategies for FP (Q3476266) (← links)
- (Q3490948) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- More problems in rewriting (Q5055812) (← links)
- Completion for constrained term rewriting systems (Q5881204) (← links)