Dexter Kozen
3 published titles
Dynamic logic
(Contributor)
2 editions
- ISBN: 0262082896
- MIT Press
- 2000
- Details
- ISBN: 9780262527668
- The MIT Press
- 2015
- Details
Theory of computation
1 edition
- ISBN: 9781846282973
- Springer
- 2006
- Details
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 9783642294846
- Springer
- 2012
- Details
