The following pages link to (Q3838760):
Displaying 9 items.
- Dominance constraints in stratified context unification (Q845917) (← links)
- On the relation between context and sequence unification (Q1034550) (← links)
- Context unification with one context variable (Q1041589) (← links)
- A decision algorithm for distributive unification (Q1275018) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- \(\forall \exists^{5}\)-equational theory of context unification is undecidable (Q1607219) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- Regular Patterns in Second-Order Unification (Q3454122) (← links)
