Robert L. Constable – författare
Visar alla böcker från författaren Robert L. Constable. Handla med fri frakt och snabb leverans.
2 produkter
Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Av Robert L. Constable, Alexandra Silva
Häftad, 2012
566 kr
Lägg i varukorg
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 this volume reflect the breadth of his work and influence. The volume includes 19 full papers related …
Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Av Alexandra Silva, Robert L. Constable
E-bok, 2012
755 kr
Lägg i varukorg
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 this volume reflect the breadth of his work and influence. The volume includes 19 full papers related …
