Pages that link to "Item:Q1599536"
From MaRDI portal
The following pages link to Solvability of context equations with two context variables is decidable (Q1599536):
Displaying 7 items.
- Simplifying the signature in second-order unification (Q843951) (← links)
- Dominance constraints in stratified context unification (Q845917) (← links)
- Flat matching (Q999086) (← links)
- Context unification with one context variable (Q1041589) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
