Search Results - Kozen, Dexter , 1951-

  • 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: