2 results for 'Dexter Kozen'

Sidebar Sidebar Sidebar
Did you mean: deterg korea Refine Search
  • Logic and Program Semantics Logic and Program Semantics
    Add to Cart The item has been added

    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...
    $122.00

    Add to Cart The item has been added