Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Noor van Leusen   Order by:   Type | Year

<< InProceedings >>

1 Claire Gardent, Michael Kohlhase and Noor van Leusen. Corrections and Higher-Order Unification. In 3. Konferenz Verarbeitung natürlicher Sprache (KONVENS '96), 7.-9. Oktober, Pages 268-279, de Gruyter, Bielefeld, Germany, 1996. [Abstract]     google

<< TechReport >>

2 Claire Gardent, Michael Kohlhase and Noor van Leusen. Corrections and Higher-Order Unification. Technical report, CLAUS-Report 77, Universität des Saarlandes, Saarbrücken, May 1996. [Abstract]     google [Annote] 3 Noor van Leusen. The Role of Inference in the resolution of corrections. Technical report, CLAUS-Report 93, Universität des Saarlandes, Saarbrücken, December 1997.     google

Last modified: Thu October 16 2014 19:11:34