The following pages link to Linear second-order unification (Q5055871):
Displaying 12 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)
- On rewrite constraints and context unification (Q1607044) (← links)
- On the undecidability of second-order unification (Q1854349) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- Tractable and intractable second-order matching problems (Q2643530) (← links)
- Regular Patterns in Second-Order Unification (Q3454122) (← links)
- On equality up-to constraints over finite trees, context unification, and one-step rewriting (Q5234685) (← links)
