02035nam0 22004693i 450 VAN0028378720241206122632.217978-35-402-1202-720241206d2004 |0itac50 baengDE|||| |||||i e nElements of Finite Model TheoryLeonid LibkinBerlinHeidelbergSpringer2004xiv, 318 p.ill.24 cm001VAN000536992001 Texts in theoretical computer science. An EATCS Series210 Berlin [etc.]Springer1996-03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03C13Model theory of finite structures [MSC 2020]VANC024491MF68-XXComputer science [MSC 2020]VANC019670MF68Q15Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]VANC028792MF68Q19Descriptive complexity and finite models [MSC 2020]VANC038080MFAlgorithm analysis and problem complexityKW:KAutomataKW:KComplexityKW:KComplexity theoryKW:KFormal languageKW:KLogicKW:KModel theoryKW:KVariableKW:KBerlinVANL000066DEHeidelbergVANL000282LibkinLeonidVANV2373841394201Springer <editore>VANV108073650ITSOL20250221RICA/sebina/repository/catalogazione/documenti/Elements of finite model theory.pdfElements of finite model theory.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00283787BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2427 08DMF1031 I 20241206 Elements of Finite Model Theory4299914UNICAMPANIA