Cargando…

Logic and Automata: History and Perspectives

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d'horizon of automata theory and logic. The twenty papers in this volu...

Descripción completa

Detalles Bibliográficos
Autores principales: Flum, Jorg, Gradel, Erich, Wilk, Thomas
Lenguaje:eng
Publicado: Amsterdam Univ. Press 2007
Materias:
Acceso en línea:http://cds.cern.ch/record/1093367