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
    Automata and computability

    Automata and computability by Kozen, Dexter , 1951-

    Published 1997
    Table of contents only
    Publisher description
  2. 2
    Dynamic logic [electronic resource]

    Dynamic logic [electronic resource] by Harel, David , 1950-, Kozen, Dexter , 1951-, Tiuryn, Jerzy

    Published 2000
    An electronic book accessible through the World Wide Web; click for information

Search Tools: