Vai al contenuto principale della pagina

Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.]



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.] Visualizza cluster
Pubblicazione: Boston, : Birkhäuser, 1993
Descrizione fisica: XII, 813 p. ; 24 cm.
Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]
68Qxx - Theory of computing [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
Persona (resp. second.): Crossley, John N.
Nerode, Anil <1932- >
Titolo autorizzato: Logical methods  Visualizza cluster
ISBN: 08-17-63690-0
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: SUN0056980
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico /sebina/repository/catalogazione/documenti/Crossley, Remmel - Logical Methods. In Honor of Anil Nerode's Sixtieth Birthday.pdf
Opac: Controlla la disponibilità qui
Serie: Progress in computer science and applied logic ; 12 Boston . -Birkhäuser , 1982-.