Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Dexter C. Kozen

Home / Authors / Dexter C. Kozen

Tags

algorithm analysis graph mathematics theory of computation computer science automata theory theoretical computer science outline of computer science dexter kozen logic mathematical logic recursion theory alan turing model theory computability proof theory turing machine gödel's incompleteness theorems sc (complexity)

Published Books

The Design and Analysis of Algorithms

Read more

December 1991

Automata and Computability (Undergraduate Texts in Computer Science)

Read more

November -1

Co-Authors