02256nam0 22005773i 450 VAN0029037920250331024540.871N978146120325420250331d1993 |0itac50 baengUS|||| |||||i e bcrLogical MethodsIn Honor of Anil Nerode’s Sixtieth BirthdayJohn N. Crossley ... [et al.]New YorkSpringer ; BostonBirkhäuser1993xii, 813 p.24 cm001VAN000526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser1203-XXMathematical logic and foundations [MSC 2020]VANC019750MF68Q70Algebraic theory of languages and automata [MSC 2020]VANC029255MF68QxxTheory of computing [MSC 2020]VANC019949MFAlgorithmsKW:KAutomataKW:KAutomata theoryKW:KCalculusKW:KCombinatoricsKW:KComputabilityKW:KComputer ScienceKW:KDecidabilityKW:KEquivalenceKW:KLogicKW:KModel theoryKW:KProblem SolvingKW:KProofsKW:KSemanticsKW:KUSNew YorkVANL000011BostonVANL000051CrossleyJohn N.VANV043240NerodeAnil1932- VANV044082Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650Crossley, John NewsomeCrossley, John N.VANV209668ITSOL20250613RICAhttps://doi.org/10.1007/978-1-4612-0325-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00290379BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11286 08eMF11286 20250528 Logical methods1424392UNICAMPANIA