The following pages link to Alexander Baumgartner (Q2362207):
Displaying 8 items.
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Unranked second-order anti-unification (Q2401634) (← links)
- Regularizing conjunctive features for classification (Q2662672) (← links)
- Unranked Second-Order Anti-Unification (Q2938131) (← links)
- A Library of Anti-unification Algorithms (Q2938520) (← links)
- A Variant of Higher-Order Anti-Unification (Q2958379) (← links)
- Term-Graph Anti-Unification (Q4993335) (← links)
- Nominal Anti-Unification (Q5277871) (← links)
