Pages that link to "Item:Q5055760"
From MaRDI portal
The following pages link to Modular higher-order E-unification (Q5055760):
Displaying 11 items.
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- Modular higher-order equational preunification (Q674756) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- Positive and negative results for higher-order disunification (Q1914170) (← links)
- Higher-order unification via combinators (Q2367541) (← links)
- Rewriting, and equational unification: the higher-order cases (Q5055746) (← links)
- Efficient second-order matching (Q5055870) (← links)
- Modular AC unification of higher-order patterns (Q5096303) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Theory and practice of minimal modular higher-order E-unification (Q5210803) (← links)
- Higher order E-unification (Q6488561) (← links)