01381nam0 2200277 i 450 SUN003879320151120101600.49808-218-0517-720051006d1997 |0engc50 baengUS||||Z 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 cm.001SUN00387922001 DIMACS series in discrete mathematics and theoretical computer science31210 ProvidenceAmerican mathematical society.68-XXComputer science [MSC 2020]MFSUNC01967003-XXMathematical logic and foundations [MSC 2020]MFSUNC019750Immerman, NeilSUNV032203Kolaitis, PhokionSUNV032204DIMACS Workshop on Descriptive Complexity and Finite Models1996 : Princeton UniversitySUNV032205ITSOL20200720RICASUN0038793UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 2046 08 6969 I 20051006 Descriptive complexity and finite models1424246UNICAMPANIA