A. Aiken, D. Kozen, M. Vardi, E. Wimmers. The complexity of set constraints. In Computer Science Logic, Pages 1-17, 1994.
[ Algexp ]
A. Aiken
D. Kozen
M. Vardi
E. Wimmers
@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}
}
Get EndNote Reference (.ref)