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 - 8 results of 8 for search 'Kozen, Dexter', query time: 0.02s Refine Results
  1. 1
    Theory of Computation
    by Kozen, Dexter C.
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    The design and analysis of algorithms
    by Kozen, Dexter C.
    Published 1992
    Book
  3. 3
    Theory of Computation
    by Kozen, Dexter 1951-
    Published 2006
    Get full text
    Electronic Kit Book
  4. 4
    Automata and computability /
    by Kozen, Dexter 1951-
    Published 1997
    Book
  5. 5
    The design and analysis of algorithms /
    by Kozen, Dexter 1951-
    Published 1992
    Book
  6. 6
    Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /
    Published 2004
    Other Authors: “…Kozen, Dexter…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Logics of programs Workshop, Yorktown Heights, New York, May 1981
    Published 1982
    Other Authors: “…Kozen, Dexter 1951-…”
    Book
  8. 8
    Algebraic complexity and parallelism Dagstuhl-Seminar-Report; 41 20.-24.7.92(9230)
    Other Authors: “…Kozen, Dexter 1951-…”
    Book
Search Tools: RSS Feed – Email Search