DIMACS TR: 97-55

Special Year on Logic and Algorithms Tutorial Notes:
Descriptive Complexity
(Tutorial Lectures by Neil Immerman)

Author: Neil Immerman


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 Neil Immerman were compiled by Eric Allender from the notes supplied by A. Arratia, Sandeep K. Shukla, J. Avigad, and D. Sivakumar.

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

DIMACS Home Page