Dexter Kozen

Dexter Campbell Kozen (born December 20, 1951) is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'Kozen, Dexter', query time: 0.01s Refine Results
  1. 1
    Automata and computability
    by Kozen, Dexter
    Published 2002
    Printed Book
  2. 2
    Design and analysis of algorithms /
    by Kozen, Dexter C
    Published 1991
    Printed Book
  3. 3
    Automata and Computability /
    by Kozen,Dexter C
    Published 1997
    Printed Book
  4. 4
    Automata and computability
    by Kozen, Dexter C
    Published 2002
    Other Authors: “...Kozen, Dexter C...”
    Printed Book
  5. 5
    Automata and computability
    by Kozen, Dexter C
    Published 1997
    Printed Book
  6. 6
    Theory of Computation
    by Kozen, Dexter C.
    Published 2006
    Printed Book
  7. 7
    Automata and computability /
    Published 1997
    Other Authors: “...Kozen,, Dexter...”
    Printed Book
  8. 8
    Dynamic logic /
    by Harel, David
    Published 2000
    Other Authors: “...Kozen , Dexter...”
  9. 9
    Dynamic logic /
    by Harel, David
    Published 2002
    Other Authors: “...Kozen, Dexter ....”
    Printed Book
Search Tools: Get RSS Feed — Email this Search