8 treff

Theory of computation
Kozen, Dexter
Bok Engelsk 2006
Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
MPC 2004
Bok Engelsk 2004
Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
Bok Engelsk 2000
Automata and computability
Kozen, Dexter
Bok Engelsk 1997
Proceedings
Tenth Annual IEEE Symposium on Logic in C...
Bok Engelsk 1995
The design and analysis of algorithms
Kozen, Dexter
Bok Engelsk 1992
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
edited by Edmund Clarke and Dexter Kozen
Bok Engelsk 1984
Logics of programs : workshop, Yorktown Heights, New York, May 1981
Logics of Programs Workshop
Bok Språk ikke angitt 1982