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 - 5 results of 5 for search 'Kozen, Dexter 1951-', query time: 0.02s Refine Results
  1. 1
    Theory of Computation
    by Kozen, Dexter 1951-
    Published 2006
    Get full text
    Electronic Kit Book
  2. 2
    Automata and computability /
    by Kozen, Dexter 1951-
    Published 1997
    Book
  3. 3
    The design and analysis of algorithms /
    by Kozen, Dexter 1951-
    Published 1992
    Book
  4. 4
    Logics of programs Workshop, Yorktown Heights, New York, May 1981
    Published 1982
    Other Authors: “…Kozen, Dexter 1951-…”
    Book
  5. 5
    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