0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Paperback): Robert L.... Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Paperback)
Robert L. Constable, Alexandra Silva
R1,543 Discovery Miles 15 430 Ships in 10 - 15 working days

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 to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure; the completeness of various programming logics; decision procedure for logics; alternation; algorithms and complexity; and programming languages and program analysis. The second part of this volume includes laudatios from several collaborators, students and friends, including the members of his current band.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The History of the Decline and Fall of…
Edward Gibbon Paperback R712 Discovery Miles 7 120
Constantine the Great - A Captivating…
Captivating History Hardcover R552 R506 Discovery Miles 5 060
Hearts in Healing - A Devotional Journey…
Molly Hankey Hardcover R819 Discovery Miles 8 190
Seek, Wait, Trust - Poems for Navigating…
Mary Morgan Brown Hardcover R940 Discovery Miles 9 400
Promises - The Colors Of God's Rainbow
Paula Masters Hardcover R444 Discovery Miles 4 440
Wees Oor Niks Besorg Nie
Riekert Botha Hardcover R249 R229 Discovery Miles 2 290
Run For The Love Of Life - Reflections…
Erica Terblanche Paperback R260 R240 Discovery Miles 2 400
Reversing Acral Erythema - Deficiencies…
Health Central Paperback R499 Discovery Miles 4 990
Two-Minute Time Outs - Daily Bible…
Julie Baker Hardcover R820 Discovery Miles 8 200
History of Rome - A Captivating Guide to…
Captivating History Hardcover R749 R665 Discovery Miles 6 650

 

Partners