LEADER 02256nam0 22005773i 450 001 VAN00290379 005 20250331024540.871 017 70$2N$a9781461203254 100 $a20250331d1993 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aLogical Methods$eIn Honor of Anil Nerode?s Sixtieth Birthday$fJohn N. Crossley ... [et al.] 210 $aNew York$cSpringer ; Boston$cBirkhäuser$d1993 215 $axii, 813 p.$d24 cm 410 1$1001VAN00052679$12001 $aProgress in computer science and applied logic$1210 $aBasel [etc.]$cBirkhäuser$v12 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a68Q70$xAlgebraic theory of languages and automata [MSC 2020]$3VANC029255$2MF 606 $a68Qxx$xTheory of computing [MSC 2020]$3VANC019949$2MF 610 $aAlgorithms$9KW:K 610 $aAutomata$9KW:K 610 $aAutomata theory$9KW:K 610 $aCalculus$9KW:K 610 $aCombinatorics$9KW:K 610 $aComputability$9KW:K 610 $aComputer Science$9KW:K 610 $aDecidability$9KW:K 610 $aEquivalence$9KW:K 610 $aLogic$9KW:K 610 $aModel theory$9KW:K 610 $aProblem Solving$9KW:K 610 $aProofs$9KW:K 610 $aSemantics$9KW:K 620 $aUS$dNew York$3VANL000011 620 $dBoston$3VANL000051 702 1$aCrossley$bJohn N.$3VANV043240 702 1$aNerode$bAnil$f1932- $3VANV044082 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 790 1$aCrossley, John Newsome$zCrossley, John N.$3VANV209668 801 $aIT$bSOL$c20250613$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4612-0325-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 $aVAN00290379 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 11286 $e08eMF11286 20250528 996 $aLogical methods$91424392 997 $aUNICAMPANIA