02289nam0 22005653i 450 VAN0029976520260119112445.604N978354028788920251023r2006 |0itac50 baengDE|||| |||||i e bcrFinite model theoryHeinz-Dieter Ebbinghaus, Jörg Flum2. rev. and enl. ed. 1999BerlinHeidelbergSpringer2006xi, 360 p.ill.24 cm001VAN000304862001 Springer monographs in mathematics210 Berlin [etc.]Springer1989-03C13Model theory of finite structures [MSC 2020]VANC024491MF03C80Logic with extra quantifiers and operators [MSC 2020]VANC024415MF03D15Complexity of computation [MSC 2020]VANC023630MF68P15Database theory [MSC 2020]VANC023737MFAlgorithm analysis and problem complexityKW:KAutomataKW:KBoolean satisfiability problemKW:KComplexityKW:KComplexity theoryKW:KFinite model theoryKW:KFixed-point logicsKW:KLogicKW:KModel theoryKW:KOptimizationKW:KTheory of complexityKW:KBerlinVANL000066DEHeidelbergVANL000282EbbinghausHeinz-DieterVANV02440946491FlumJörgVANV044268Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267Flum, JorgFlum, JörgVANV062007ITSOL20260123RICAhttps://doi.org/10.1007/3-540-28788-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00299765BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12983 08eMF12983 20251104 Finite model theory374545UNICAMPANIA