Pages that link to "Item:Q2946592"
From MaRDI portal
The following pages link to Higher-order term indexing using substitution trees (Q2946592):
Displaying 9 items.
- Restricted combinatory unification (Q2305407) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Advanced indexing operations on substitution trees (Q4647547) (← links)
- Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)
- Higher-order equational pattern anti-unification (Q4993338) (← links)
- (Q5020994) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- One or nothing: anti-unification over the simply-typed lambda calculus (Q6610194) (← links)