Pages that link to "Item:Q4796458"
From MaRDI portal
The following pages link to A Decision Algorithm for Stratified Context Unification (Q4796458):
Displayed 8 items.
- Simplifying the signature in second-order unification (Q843951) (← links)
- 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)
- Decidability of bounded second order unification (Q1887168) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- Regular Patterns in Second-Order Unification (Q3454122) (← links)