akvw93

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers. The Complexity of Set Constraints. In Proc. 1993 Conf. Computer Science Logic (CSL), September 1993.

Keyword

[ Parametricity ]

Contact

A. Aiken
D. Kozen
M. Vardi
E. Wimmers

BibTex Reference

@InProceedings{akvw93,
   Author = {Aiken, Alexander and Kozen, Dexter and Vardi, Moshe and Wimmers, Ed},
   Title = {The Complexity of Set Constraints},
   BookTitle = {Proc. 1993 Conf. Computer Science Logic (CSL)},
   Month = {September},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)