IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #636   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:32
636 Add to my selection
@Article{Hutter_Kohlhase:2000,
      AUTHOR = {Hutter, Dieter and Kohlhase, Michael},
      TITLE = {Managing Structural Information by Higher-Order Colored Unification},
      YEAR = {2000},
      JOURNAL = {Journal of Automated Reasoning},
      VOLUME = {25},
      PAGES = {123-164}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin