The following pages link to Higher order E-unification (Q6488561):
Displaying 15 items.
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- Modular higher-order equational preunification (Q674756) (← links)
- A proof theory for general unification (Q1189467) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- Comparing approaches to resolution based higher-order theorem proving (Q1868166) (← links)
- Higher-order unification via combinators (Q2367541) (← links)
- Higher-order unification and matching (Q2751368) (← links)
- (Q3838764) (← links)
- Rewriting, and equational unification: the higher-order cases (Q5055746) (← links)
- Goal directed strategies for paramodulation (Q5055756) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- Efficient second-order matching (Q5055870) (← links)
- Modular AC unification of higher-order patterns (Q5096303) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)