le89d

H. Lei\ss. A Semi-Unification Algorithm? - Extended Abstract. In Proc. UNIF '89, Burkert, Nutt (eds.), Lambrecht, Germany, June 1989.

Keyword

[ Parametricity ]

Contact

Hans Lei\ss

BibTex Reference

@InProceedings{le89d,
   Author = {Lei\ss, H.},
   Title = {A Semi-Unification Algorithm? - Extended Abstract},
   BookTitle = {Proc. UNIF '89},
   editor = {Burkert, and Nutt, },
   Address = {Lambrecht, Germany},
   Month = {June},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)