01448nam0 2200289 i 450 VAN003879320240214103554.1308-218-0517-720051006d1997 |0itac50 baengUS|||| 1||||Descriptive complexity and finite modelsproceedings of a DIMACS workshop, January 14-17 1996, Princeton UniversityNeil Immerman, Phokion G. Kolaitis, editorProvidence, R.I.American Mathematical Society1997xiv, 248 p.ill.26 cm001VAN00387922001 DIMACS series in discrete mathematics and theoretical computer science210 ProvidenceAmerican mathematical society3168-XXComputer science [MSC 2020]VANC019670MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFImmermanNeilVANV032203KolaitisPhokionVANV032204DIMACS Workshop on Descriptive Complexity and Finite Models1996 : Princeton UniversityVANV032205ITSOL20240216RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0038793BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 2046 08 6969 I 20051006 Descriptive complexity and finite models1424246UNICAMPANIA