Cargando…

Conference on Logical Methods

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the confer...

Descripción completa

Detalles Bibliográficos
Autores principales: Crossley, John, Remmel, Jeffrey, Shore, Richard, Sweedler, Moss
Lenguaje:eng
Publicado: Springer 1993
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-1-4612-0325-4
http://cds.cern.ch/record/2006280