01538nam0 2200301 i 450 VAN0003879320250318104130.84008-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 cm001VAN000387922001 DIMACS series in discrete mathematics and theoretical computer science210 ProvidenceAmerican mathematical society3103-XXMathematical logic and foundations [MSC 2020]VANC019750MF68-XXComputer science [MSC 2020]VANC019670MFImmermanNeilVANV032203KolaitisPhokionVANV032204DIMACS Workshop on Descriptive Complexity and Finite Models1996 : Princeton UniversityVANV032205ITSOL20250321RICA/sebina/repository/catalogazione/documenti/ID 38793.pdfID 38793.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00038793BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 2046 08 6969 I 20051006 Descriptive complexity and finite models1424246UNICAMPANIA