Travelled to:
1 × Poland
1 × The Netherlands
Collaborated with:
T.Kutsia J.Levy M.Villaret
Talks about:
unif (2) anti (2) variant (1) higher (1) order (1) nomin (1)
Person: Alexander Baumgartner
DBLP: Baumgartner:Alexander
Contributed to:
Wrote 2 papers:
- RTA-2015-BaumgartnerKLV #anti
- Nominal Anti-Unification (AB, TK, JL, MV), pp. 57–73.
- RTA-2013-BaumgartnerKLV #anti #higher-order
- A Variant of Higher-Order Anti-Unification (AB, TK, JL, MV), pp. 113–127.