Noor van Leusen
Veröffentlichungen in Verbindung mit SFB 378
Suchbegriffe
Verknüpfung
Und
Oder
Großschreibung
nicht beachten
beachten
1996
Corrections and Higher-Order Unification
(Claire Gardent and Michael Kohlhase and Noor van Leusen)