Copied Logic and Program Semantics
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 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Improving Software Testing
$49.95
Coping with Demographic Change: A Comparative View on Education and Local Government in Germany and
$54.99
South Africa's Renegade Reels
$54.99
Idealism and Corporeity
$84.99
Becoming a Mathematics Teacher
$84.99
Production Technology of Stone Fruits
$199.99
Liquid-Metal Heat Transfer Media
$109.99
Scholastic Success With Addition & Subtraction: Grade 1 Workbook
$5.24
Fear in the Medical and Literary Imagination, Medieval to Modern
$109.99
Revolutionary Committees in the Cultural Revolution Era of China
$59.99
Staatsverschuldung und Verwaltungsreform in der Demokratie
$59.99
Applications of Algebra to Communications, Control, and Signal Processing
$59.99
Congenital Displacement of the Hip Joint
$39.99
Strahlengefahrdung und Strahlenschutz / Radiation Exposure and Radiation Protection
$59.99
Marine Concrete
$84.99
Karen's Ghost (Baby-Sitters Little Sister #12)
$5.24
Systems Biology
$169.00
Die Picksche Krankheit
$54.99
The Value of Systems and Complexity Sciences for Healthcare
$84.99
Sustainable Transportation
$44.99
Methods of Graded Rings
$39.99
Digital occupants Wie digitale Medien die kommunikative Aushandlung von Freundschaften verndern
$84.99
Nondestructive Characterization and Imaging of Wood
$329.99
Michael Oakeshotts Cold War Liberalism
$54.99
Science Education and Citizenship
$39.99
Lie Algebras and Applications
$69.99
Extraction, Characterization, and Functional Assessment of Bioactive Compounds
$169.99
The Phylogenetic Classification of Diptera Cyclorrhapha
$54.99
Jugendzeit Time Out?
$64.99
Transformations of the Swedish Welfare State
$84.99
Indias Evolving Deterrent Force Posturing in South Asia
$109.00
Computational Intelligence in Medical Informatics
$219.99
Translating Molecular Biomarkers into Clinical Assays
$129.00
Introduction to Relation Algebras
$49.99
The Monge-Ampre Equation
$149.00
Geometry of Knowledge for Intelligent Systems
$84.99
Topics in Cryptology -- CT-RSA 2014
$54.99
Aspects of Calculus
$39.99
Institutional Reforms, Governance, and Services Delivery in the Global South
$109.00
Witchlings
$6.74
