Index
Browse
Bibliographies
My selection
S
earch:
in
All
Authors
Titles
Conferences
Journals
Keywords
Comments
(word length ≥ 3)
Login
Reference no #571
Type : Html |
Bib
|
Both
Created:
2007-12-12 11:30:31
571
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
Last modified: Thu October 16 2014 19:11:34
