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 - 1 results of 1 for search 'Kozen, Dexter'
query time: 0.01s Refine Results
  1. 1
    Logics of programs : workshop, Yorktown Heights, Nework, may 1981 /
    Published 1982
    Other Authors: “...Kozen, Dexter...”
    Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search