The following pages link to (Q2778871):
Displaying 6 items.
- Unification with extended patterns (Q1274966) (← links)
- ESS patterns: Adding pairs to an ESS (Q1817522) (← links)
- Theory and practice of unparsed patterns for metacompilation (Q2266943) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- Modular AC unification of higher-order patterns (Q5096303) (← links)
- Logic Programming (Q5475791) (← links)