Siirry suoraan sisältöön
Selected Papers
Tallenna

Selected Papers

It seems to me that his early work on decision problems relating automata and logic, starting with his thesis under Roger Lyndon and continuing with joint work with Biichi, Wright, Copi, Rutledge, Mezei, and then later with Rabin, set the stage for his attack on the theory of computation through the abstract treatment of the notion of a machine.
Painos
Softcover reprint of the original 1st ed. 1982
ISBN
9781461381792
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
18.10.2011
Sivumäärä
460