The following pages link to Christian Prehofer (Q4229810):
Displayed 12 items.
- (Q4229811) (← links)
- (Q4244298) (← links)
- Higher-order narrowing with definitional trees (Q4256147) (← links)
- (Q4420402) (← links)
- (Q4470494) (← links)
- (Q4524793) (← links)
- Feature-oriented programming: A new way of object composition (Q4790930) (← links)
- Type Reconstruction for Type Classes (Q4850163) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Higher-order narrowing with convergent systems (Q5096386) (← links)
- Decidable higher-order unification problems (Q5210802) (← links)