Pages that link to "Item:Q4885622"
From MaRDI portal
The following pages link to Unification of higher-order patterns in linear time and space (Q4885622):
Displaying 13 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- A polynomial nominal unification algorithm (Q944382) (← links)
- Matching and alpha-equivalence check for nominal terms (Q980937) (← links)
- Nominal unification (Q1882909) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Implementing nominal unification (Q2867897) (← links)
- A Variant of Higher-Order Anti-Unification (Q2958379) (← links)
- The First-Order Nominal Link (Q3003496) (← links)
- Linear unification of higher-order patterns (Q5044750) (← links)
- Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type (Q5055872) (← links)
- Modular AC unification of higher-order patterns (Q5096303) (← links)
- Nominal Unification from a Higher-Order Perspective (Q5892169) (← links)
- Automated Deduction – CADE-19 (Q5900734) (← links)