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 and Engineering Department
University of California, Santa Cruz
Santa Cruz, CA 95064, USA
(831) 459-4768
kolaitis at ucsc.edu