akw93

Alexander Aiken, Dexter Kozen, Ed Wimmers. Decidability of Systems of Set Constraints with Negative Constraints. Research Report Cornell University, No 93, June 1993.

Keyword

[ Parametricity ]

Contact

A. Aiken
D. Kozen
E. Wimmers

BibTex Reference

@TechReport{akw93,
   Author = {Aiken, Alexander and Kozen, Dexter and Wimmers, Ed},
   Title = {Decidability of Systems of Set Constraints with Negative Constraints},
   Number = {93},
   Institution = {Cornell University},
   Month = {June},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)