Descriptive Complexity and Finite Models: Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University
Neil Immerman ¡ Phokion Kolaitis
āĻāĻžāĻ¨ā§ ā§§ā§¯ā§¯ā§ Âˇ Center for Discrete Mathematics and Theoretical Computer Science New Brunswick, NJ: DIMACS series in discrete mathematics and theoretical computer scienceāĻŦāĻ 31 ¡ American Mathematical Soc.
āĻ-āĻŦā§āĻ
248
āĻĒā§āώā§āĻ āĻž
āύāĻŽā§āύāĻž
reportāϰā§āĻāĻŋāĻ āĻ āϰāĻŋāĻāĻŋāĻ āϝāĻžāĻāĻžāĻ āĻāϰāĻž āĻšā§āύāĻŋ  āĻāϰāĻ āĻāĻžāύā§āύ
āĻāĻ āĻ-āĻŦā§āĻā§āϰ āĻŦāĻŋāώā§ā§
This volume presents articles by leading researchers who delivered talks at the "Workshop on Finite Models and Descriptive Complexity" at Princeton in January 1996 during a DIMACS sponsored Special Year on Logic and Algorithms. Each article is self-contained and provides a valuable introduction to the featured research areas connected with finite model theory.