Jump to : Keyword | Contact | BibTex reference | EndNote reference |

ktu90

A. Kfoury, J. Tiuryn, P. Urzyczyn. ML Typability is DEXPTIME-complete. In Proc. 15th Coll. on Trees in Algebra and Programming (CAAP), Copenhagen, Denmark, Lecture Notes in Computer Science, Vol. 431, Pages 206-220, May 1990.

Keyword

[ Parametricity ]

Contact

A. J. Kfoury
J. Tiuryn
P. Urzyczyn

BibTex Reference

@InProceedings{ktu90,
   Author = {Kfoury, A. and Tiuryn, J. and Urzyczyn, P.},
   Title = {{ML} Typability is {DEXPTIME}-complete},
   BookTitle = {Proc. 15th Coll. on Trees in Algebra and Programming (CAAP), Copenhagen, Denmark},
   Pages = {206--220},
   Publisher = {Springer},
   Month = {May},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)