TY  - BOOK
AU  - Immerman Neil ed.
ED  - DIMACS Workshop on Descriptive Complexity and Finite Models (14-17 Jan 1996 : Princeton,New Jersey)
ED  - DIMACS workshop on descriptive complexity and finite models
TI  - Descriptive complexity and finite models: proceedings
SN  - 0-8218-0517-7
U1  - 511.3 
PY  - 1997///
CY  - Providence
PB  - AMS
KW  - Computational complexity
KW  - Model theory
ER  -