Descriptive complexity and finite models proceedings - Immerman Neil ed.; DIMACS Workshop on Descriptive Complexity and Finite Models (14-17 Jan 1996 : Princeton,New Jersey); DIMACS workshop on descriptive complexity and finite models Princeton, New Jersey 14-17 Jan 1996 (Providence AMS, 1997)
Keywords: Computational complexity; Model theory