ktu89

A. Kfoury, J. Tiuryn, P. Urzyczyn. Computational Consequences and Partial Solutions of a Generalized Unification Problem. In Proc. 4th IEEE Symposium on Logic in Computer Science (LICS), June 1989.

Keyword

[ Parametricity ]

Contact

A. J. Kfoury
J. Tiuryn
P. Urzyczyn

BibTex Reference

@InProceedings{ktu89,
   Author = {Kfoury, A. and Tiuryn, J. and Urzyczyn, P.},
   Title = {Computational Consequences and Partial Solutions of a Generalized Unification Problem},
   BookTitle = {Proc. 4th IEEE Symposium on Logic in Computer Science (LICS)},
   Month = {June},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)