SFB 378 home personal page

C
LISA

Noor van Leusen

publications relevant to SFB 378

Search Terms
Boolean Case

1996

Corrections and Higher-Order Unification
(Claire Gardent and Michael Kohlhase and Noor van Leusen)


SFB 378 home personal page