IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
       Login
References of Dieter Hutter   Download bibtex file Order by:   Type | Year
<< Article (Journal) >> TOP
1 Add to my selection
Dieter Hutter and Michael Kohlhase. Managing Structural Information by Higher-Order Colored Unification. In Journal of Automated Reasoning, Vol. 25:123-164, 2000.   Bibtex entry  google
<< InProceedings >> TOP
2 Add to my selection
Dieter Hutter and Michael Kohlhase. A Coloured Version of the Lambda-Calculus. In W. McCune editor, 14th International Conference on Automated Deduction (CADE-14), July 13-17, (1249):291-305, Springer, James Cook University, Townsville, Australia, 1997.   Bibtex entry  google
Last modified: Thu October 16 2014 19:11:34         BibAdmin