1 द्वारा ईबुक Robert L. Constable
Robert L. Constable & Alexandra Silva: Logic and Program Semantics
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). The contributions in th …
PDF
अंग्रेज़ी
DRM
€58.12
