DIMACS TR: 97-54

Special Year on Logic and Algorithms Tutorial Notes:
Expressive Powers of Logics
(Tutorial Lectures by Phokion Kolaitis)

Author: Phokion Kolaitis


The 1995-1996 DIMACS Special Year on Logic and Algorithms began with three week-long tutorial sessions on the topics of the special year:

These notes on the lectures given by Phokion Kolaitis were compiled by Eric Allender from the notes supplied by Randall J. Pruim, Brenda J. Latka, Jim Rogers, Maria-Luisa Bonet, and Kousha Etessami.

Paper Available at: ftp://dimacs.rutgers.edu/pub/dimacs/TechnicalReports/TechReports/1997/97-54.ps.gz

DIMACS Home Page