کتاب های Dexter C. Kozen
Automata and Computability
Dexter C. Kozen, 1997
Automata and Computability
Dexter C. Kozen, 1977
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.), 1994
The Design and Analysis of Algorithms
Dexter C. Kozen, 1992
The Design and Analysis of Algorithms
Dexter C. Kozen, 1992
Automata and Computability
Dexter C. Kozen, 2012
Automata and Computability (Undergraduate Texts in Computer Science)
Dexter C. Kozen, 2012
Theory of Computation
Dexter C. Kozen, 2006
Theory of Computation
Dexter C. Kozen, 2006
