Index Browse   Bibliographies My selection

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

Reference no #566   Type :   Html | Bib | Both

Created: 2007-12-12 11:30:31

566 Claire Gardent and Michael Kohlhase. Focus and Higher-Order Unification. Technical report, CLAUS-Report 75, Universität des Saarlandes, Saarbrücken, April 1996. [Abstract]     google [Annote]

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