Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Logic and Program Semantics

Best Price (Coupon Required):
Buy Logic and Program Semantics for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642294853
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Disability in Judaism, Christianity, and Islam

Disability in Judaism, Christianity, and Islam

$54.99
Vertriebskennzahlen

Vertriebskennzahlen

$17.99
Promoting Health for Working Women

Promoting Health for Working Women

$54.99
Plant Growth-Promoting Microbes for Sustainable Biotic and Abiotic Stress Management

Plant Growth-Promoting Microbes for Sustainable Biotic and Abiotic Stress Management

$149.00
Eigenfinanzierung und Aktienbewertung

Eigenfinanzierung und Aktienbewertung

$59.99
Multisystemische Therapie bei dissozialem Verhalten von Kindern und Jugendlichen

Multisystemische Therapie bei dissozialem Verhalten von Kindern und Jugendlichen

$119.99
Logistisches Handelscontrolling

Logistisches Handelscontrolling

$59.99
Microfabrication in Tissue Engineering and Bioartificial Organs

Microfabrication in Tissue Engineering and Bioartificial Organs

$109.99
New Universities in the Modern World

New Universities in the Modern World

$69.99
Die Neuordnung des Journalismus

Die Neuordnung des Journalismus

$74.99
Fuzzy Mathematics

Fuzzy Mathematics

$159.99
Information from Processes

Information from Processes

$39.99
Celestial Shadows

Celestial Shadows

$149.00
Energy Transmission and Synchronization in Complex Networks

Energy Transmission and Synchronization in Complex Networks

$109.99
Leaders for Tomorrow: Challenges for Military Leadership in the Age of Asymmetric Warfare

Leaders for Tomorrow: Challenges for Military Leadership in the Age of Asymmetric Warfare

$99.00
Cancer Chemotherapeutic Agents

Cancer Chemotherapeutic Agents

$109.99
Die Bewltigung organisatorischer bergnge

Die Bewltigung organisatorischer bergnge

$49.99
Veteran and Military Mental Health

Veteran and Military Mental Health

$179.99
Transgenic Crops II

Transgenic Crops II

$39.99
Beitrag zur Gestaltung von Schaftfrsern zum Ausfrsen von Schmiedehohlformen

Beitrag zur Gestaltung von Schaftfrsern zum Ausfrsen von Schmiedehohlformen

$54.99
Harold Macmillan and the Berlin Wall Crisis, 1958-62

Harold Macmillan and the Berlin Wall Crisis, 1958-62

$109.99
Arabidopsis Protocols

Arabidopsis Protocols

$89.00
Religion im Fokus der Integrationspolitik

Religion im Fokus der Integrationspolitik

$59.99
Fifty Years of Regional Science

Fifty Years of Regional Science

$169.99
Intellectual Disabilities: Health and Social Care Across the Lifespan

Intellectual Disabilities: Health and Social Care Across the Lifespan

$39.99
Stoffwechsel und Energiewechsel

Stoffwechsel und Energiewechsel

$54.99
Nonlinear Evolution and Chaotic Phenomena

Nonlinear Evolution and Chaotic Phenomena

$39.99
Einstufige Juristenausbildung

Einstufige Juristenausbildung

$59.99
Smart Cities

Smart Cities

$179.99
Handbuch der Gerichtlichen Psychiatrie

Handbuch der Gerichtlichen Psychiatrie

$84.99
Pseudomonas

Pseudomonas

$219.99
The Spooky Wheels On The Bus

The Spooky Wheels On The Bus

$4.49
In the Woods

In the Woods

$3.71
The Effects of Farm and Food Policy on Obesity in the United States

The Effects of Farm and Food Policy on Obesity in the United States

$159.99
Cross-border Shadow Education and Critical Pedagogy

Cross-border Shadow Education and Critical Pedagogy

$139.99
Spezialprobleme der internationalen Werbebudgetierung

Spezialprobleme der internationalen Werbebudgetierung

$64.99
Zinsstrukturmodelle

Zinsstrukturmodelle

$69.99
Computer Supported Cooperative Work in Design III

Computer Supported Cooperative Work in Design III

$84.99
Optimization, Variational Analysis and Applications

Optimization, Variational Analysis and Applications

$199.99
Sustainable Waste Utilization in Bricks, Concrete, and Cementitious Materials

Sustainable Waste Utilization in Bricks, Concrete, and Cementitious Materials

$179.99
previous
next