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

aiken1994complexity

A. Aiken, D. Kozen, M. Vardi, E. Wimmers. The complexity of set constraints. In Computer Science Logic, Pages 1-17, 1994.

Keyword

[ Algexp ]

Contact

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

BibTex Reference

@InProceedings{aiken1994complexity,
   Author = {Aiken, A. and Kozen, D. and Vardi, M. and Wimmers, E.},
   Title = {The complexity of set constraints},
   BookTitle = {Computer Science Logic},
   Pages = {1--17},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)