Automata on guarded strings and applications

Kleene algebra with tests

Dexter Kozen · ACM Transactions on Programming Languages and Systems · 1997 · 522 citations · Full text

Computing, Computer Science, Mathematics +13

<i>Dynamic Logic</i> by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

Yde Venema · Theory and Practice of Logic Programming · 2002 · 484 citations

Humanities, Computer Science, Knowledge Representation +8

On Hoare logic and Kleene algebra with tests

Dexter Kozen · ACM Transactions on Computational Logic · 2000 · 150 citations

Humanities, Computer Science, Mathematics +14

Regular expressions and the equivalence of programs

Donald M. Kaplan · Journal of Computer and System Sciences · 1969 · 64 citations

Computing, Computer Science, Formal Methods +11

The Complexity of Kleene Algebra with Tests

Ernie Cohen, Dexter Kozen, Frederick Smith · eCommons (Cornell University) · 1996 · 52 citations · Full text

Computing, Computer Science, Algebra +12