Descriptive Complexity and Finite Models

Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University

• Author(s): Neil Immerman, Phokion Kolaitis,
• Publisher: American Mathematical Soc.
• Pages: 248
• ISBN_10: 0821870769
  ISBN_13: 9780821870761
  
• Language: en
• Categories: Computers / Computer Science ,

Description:... 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.