02122nam0 2200541 i 450 VAN0005698020250331022624.73808-17-63690-020061213d1993 |0itac50 baengUS|||| |||||i e nncLogical MethodsIn Honor of Anil Nerode’s Sixtieth BirthdayJohn N. Crossley ... [et al.]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:KBostonVANL000051CrossleyJohn N.VANV043240NerodeAnil1932- VANV044082Birkhäuser <editore>VANV108193650Crossley, John NewsomeCrossley, John N.VANV209668ITSOL20250613RICA/sebina/repository/catalogazione/documenti/Crossley, Remmel - Logical Methods. In Honor of Anil Nerode's Sixtieth Birthday.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00056980BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0960 08 7588 III 20061213 Logical methods1424392UNICAMPANIA