Search Results - Kozen, Dexter 1951-

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 - 2 results of 2
Refine Results
  1. 1
    Theory of computation

    Theory of computation by Kozen, Dexter 1951-

    Published 2006
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Dynamic logic

    Dynamic logic by Harel, David 1950-

    Published 2000
    Other Authors: “…Kozen, Dexter 1951-…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: