8 treff
Kozen, Dexter
Bok Engelsk 2006
Bok Engelsk 2006
David Harel, Dexter Kozen, Jerzy Tiuryn
Bok Engelsk 2000
Bok Engelsk 2000
Kozen, Dexter
Bok Engelsk 1997
Bok Engelsk 1997
Tenth Annual IEEE Symposium on Logic in C...
Bok Engelsk 1995
Bok Engelsk 1995
Kozen, Dexter
Bok Engelsk 1992
Bok Engelsk 1992
edited by Edmund Clarke and Dexter Kozen
Bok Engelsk 1984
Bok Engelsk 1984
Logics of Programs Workshop
Bok Språk ikke angitt 1982
Bok Språk ikke angitt 1982