Search Results - Kozen, Dexter

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
Refine Results
  1. 1

    Logic of programs : workshop, ETH Zürich, May-July 1979 / by Kozen, Dexter

    Published: Berlin : Springer, 1981

    Get full text
    Book