DIMACS TR: 97-56

Special Year on Logic and Algorithms Tutorial Notes:
Random Finite Models
(Tutorial Lectures by James Lynch)

Author: James Lynch


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 James Lynch were compiled by Eric Allender from the notes supplied by Thomas Wilke, James Lynch, Sandeep K. Shukla, Helmut Veith, and Ida Pu.

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

DIMACS Home Page