Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Immerman, Neil,1953-
Kolaitis, Phokion.
DIMACS Workshop on Descriptive Complexity and Finite Models(1996 :Princeton University)
Providence, R.I. : American Mathematical Society,
c1997.
Includes bibliographical references
Computational complexity
Model theory