Pages that link to "Item:Q5369491"
From MaRDI portal
The following pages link to Functions-as-constructors Higher-order Unification (Q5369491):
Displaying 8 items.
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- (Q4993360) (← links)
- (Q5028439) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
