IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #572   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:31
572 Add to my selection
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. URL [Abstract]   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin