02182nam0 22005413i 450 VAN0029406920250603022138.964N978366203182720250603d1995 |0itac50 baengDE|||| |||||i e bcrFinite model theoryHeinz-Dieter Ebbinghaus, Jörg FlumBerlinSpringer1995xv, 327 p.ill.25 cm001VAN000508172001 Perspectives in mathematical logic210 BerlinSpringer03C13Model 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:KBerlinVANL000066EbbinghausHeinz-DieterVANV02440946491FlumJörgVANV044268Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267Flum, JorgFlum, JörgVANV062007ITSOL20250718RICAhttps://doi.org/10.1007/978-3-662-03182-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00294069BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11800 08eMF11800 20250714 Finite model theory374545UNICAMPANIA