Pages that link to "Item:Q5055746"
From MaRDI portal
The following pages link to Rewriting, and equational unification: the higher-order cases (Q5055746):
Displaying 6 items.
- Modular higher-order equational preunification (Q674756) (← links)
- Synthesis of rewrite programs by higher-order and semantic unification (Q749216) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Relating Higher-order and First-order Rewriting (Q3371149) (← links)