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: