Index Browse   Bibliographies My selection

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

Reference no #636   Type :   Html | Bib | Both

Created: 2007-12-12 11:30:32

636 Dieter Hutter and Michael Kohlhase. Managing Structural Information by Higher-Order Colored Unification. In Journal of Automated Reasoning, Vol. 25:123-164, 2000.     google

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