LEADER 02289nam0 22005653i 450 001 VAN00299765 005 20260119112445.604 017 70$2N$a9783540287889 100 $a20251023r2006 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aFinite model theory$fHeinz-Dieter Ebbinghaus, Jörg Flum 205 $a2. rev. and enl. ed. 1999 210 $aBerlin$aHeidelberg$cSpringer$d2006 215 $axi, 360 p.$cill.$d24 cm 410 1$1001VAN00030486$12001 $aSpringer monographs in mathematics$1210 $aBerlin [etc.]$cSpringer$d1989- 606 $a03C13$xModel theory of finite structures [MSC 2020]$3VANC024491$2MF 606 $a03C80$xLogic with extra quantifiers and operators [MSC 2020]$3VANC024415$2MF 606 $a03D15$xComplexity of computation [MSC 2020]$3VANC023630$2MF 606 $a68P15$xDatabase theory [MSC 2020]$3VANC023737$2MF 610 $aAlgorithm analysis and problem complexity$9KW:K 610 $aAutomata$9KW:K 610 $aBoolean satisfiability problem$9KW:K 610 $aComplexity$9KW:K 610 $aComplexity theory$9KW:K 610 $aFinite model theory$9KW:K 610 $aFixed-point logics$9KW:K 610 $aLogic$9KW:K 610 $aModel theory$9KW:K 610 $aOptimization$9KW:K 610 $aTheory of complexity$9KW:K 620 $dBerlin$3VANL000066 620 $aDE$dHeidelberg$3VANL000282 700 1$aEbbinghaus$bHeinz-Dieter$3VANV024409$046491 702 1$aFlum$bJörg$3VANV044268 712 $aSpringer $3VANV108073$4650 790 1$aEbbinghaus, H.-D.$zEbbinghaus, Heinz-Dieter$3VANV044267 790 1$aFlum, Jorg$zFlum, Jörg$3VANV062007 801 $aIT$bSOL$c20260123$gRICA 856 4 $uhttps://doi.org/10.1007/3-540-28788-4$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00299765 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 12983 $e08eMF12983 20251104 996 $aFinite model theory$9374545 997 $aUNICAMPANIA