Pages that link to "Item:Q5210802"
From MaRDI portal
The following pages link to Decidable higher-order unification problems (Q5210802):
Displayed 9 items.
- On the undecidability of second-order unification (Q1854349) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- Tractable and intractable second-order matching problems (Q2643530) (← links)
- Regular Patterns in Second-Order Unification (Q3454122) (← links)
- A restricted form of higher-order rewriting applied to an HDL semantics (Q5055839) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
- Higher order disunification: Some decidable cases (Q5096304) (← links)
- Higher order conditional rewriting and narrowing (Q5096313) (← links)
- Higher-order narrowing with convergent systems (Q5096386) (← links)