ktu89b

A. Kfoury, J. Tiuryn, P. Urzyczyn. The Undecidability of the Semi-Unification Problem. Research Report Boston University, No 0, October 1989.

Keyword

[ Parametricity ]

Contact

A. J. Kfoury
J. Tiuryn
P. Urzyczyn

BibTex Reference

@TechReport{ktu89b,
   Author = {Kfoury, A. and Tiuryn, J. and Urzyczyn, P.},
   Title = {The Undecidability of the Semi-Unification Problem},
   Number = {0},
   Institution = {Boston University},
   Month = {October},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)