Phokion Kolaitis' Home Page at UC Santa Cruz

Phokion Kolaitis' Home Page at UC Santa Cruz

Phokion Kolaitis' Home Page at UC Santa Cruz
Books (co-authored and co-edited)

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.

Complexity of Constraints: An Overview of Current Research Themes, Edited by N. Creignou, Ph.G. Kolaitis, and H. Vollmer, Lecture Notes in Computer Science, Volume 5250 , Springer, 2008.

Database Theory - ICDT '97 6th International Conference, Edited by F. Afrati and Ph.G. Kolaitis, Lecture Notes in Computer Science, Volume 1186 , Springer, 1997.

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