Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday by Robert L. Constable
English | PDF | 2012 | 366 Pages | ISBN : 3642294847 | 4.8 MB
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs) and the contributions in this volume reflect the breadth of his work and influence.