Finite Model
Theory and its Applications, by E. Graedel, Ph.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema,
S. Weinstein, Texts in Theoretical Computer Science: An EATCS Series , Springer 2007.
Descriptive Complexity and Finite Models,
Edited by N. Immerman and Ph.G. Kolaitis, DIMACS: Series in Discrete Mathematics and Theoretical Computer Science,
American Mathematical Society, 1997.
Phokion G. Kolaitis
Computer Science Department
University of California, Santa Cruz
Santa Cruz, CA 95064, USA
(831) 459-4768
kolaitis at cs.ucsc.edu