U. Hustadt. A complete transformation system for polymorphic higher-order unification. Technical Report MPI-I-91-228, Max-Planck-Institut fur Informatik, Saarbrucken, 1991. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Combinatory Logic Approach to Higher-order E-unification - Dougherty, Johann (1992) (4 citations) (Correct)
No context found.
U. Hustadt. A complete transformation system for polymorphic higher-order unification. Technical Report MPI-I-91-228, Max-Planck-Institut fur Informatik, Saarbrucken, 1991.
Higher-Order Coloured Unification and Natural Language Semantics - Gardent, Kohlhase (1996) (7 citations) (Correct)
No context found.
Ulrich Hustadt. 1991. A complete transformation system for polymorphic higher-order unification.
Focus and Higher-Order Unification - Gardent, Kohlhase (1996) (2 citations) (Correct)
No context found.
Ulrich Hustadt. 1991. A complete transformation system for polymorphic higher-order unification.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC