Pages that link to "Item:Q1264438"
From MaRDI portal
The following pages link to Completion of rewrite systems with membership constraints. I: Deduction rules (Q1264438):
Displayed 6 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)