Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday - Robert L. Constable

Instant online reading.
Don't wait for delivery!

Logic and Program Semantics

Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

By: Robert L. Constable (Editor), Alexandra Silva (Editor)

Write A Review

Paperback | 11 April 2012

At a Glance

Paperback
372 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Programming & Scripting Languages

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$77.75

27%
OFF

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Paperback

RRP $89.99

$64.99

28%
OFF

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Hardcover

RRP $45.00

$35.75

21%
OFF

Python Automation For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $57.95

$44.75

23%
OFF

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Paperback

RRP $66.75

$34.99

48%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Python Workout, Second Edition : 200 ten-minute exercises - Reuven Lerner

$55.75

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hardcover

RRP $91.30

$65.75

28%
OFF

Introduction to Programming Languages

Hardcover

$457.75

$Typesetting Mathematics With Latex - Robert Legato$

$55.75

51%
OFF

Digital Technologies for the Australian Curriculum 9 &10 Workbook - David Grover

$38.75

22%
OFF

Python for Excel

A Modern Environment for Automation and Data Analysis

Paperback

RRP $125.75

$60.99

51%
OFF

C# 12 in a Nutshell

The Definitive Reference

Paperback

RRP $133.00

$64.75

51%
OFF

Introduction to Machine Learning with Python

A Guide for Data Scientists

Paperback

RRP $114.00

$55.75

51%
OFF

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Paperback

RRP $82.95

$60.75

27%
OFF

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

C++ Programming Language, The

Hardcover

RRP $117.91

$89.99

24%
OFF

Artificial Intelligence Programming with Python

From Zero to Hero

Paperback

RRP $65.95

$48.75

26%
OFF

Programming Rust

Fast, Safe Systems Development 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Paperback

RRP $114.00

$55.75

51%
OFF

Full Papers
Residuated Kleene Algebras	p. 1
Brzozowski's Algorithm (Co) Algebraically	p. 12
Experimental Descriptive Complexity	p. 24
Meditations on Quantified Constraint Satisfaction	p. 35
The Compass That Steered Robotics	p. 50
Subtyping for F-Bounded Quantifiers and Equirecursive Types	p. 66
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model	p. 83
Capsules and Closures: A Small-Step Approach	p. 106
Nuprl as Logical Framework for Automating Proofs in Category Theory	p. 124
On the Final Coalgebra of Automatic Sequences	p. 149
On Topological Completeness of Regular Tree Languages	p. 165
A Complete Logical System for the Equality of Recursive Terms for Sets	p. 180
Overloading is NP-Complete: A Tutorial Dedicated to Dexter Kozen	p. 204
Combining Epistemic Logic and Hennessy-Milner Logic	p. 219
Choice and Uncertainty in Games	p. 244
The Complexity of Inhabitation with Explicit Intersection	p. 256
On State Sequences Defined by Reaction Systems	p. 271
On Distance Coloring: A Review Based on Work with Dexter Kozen	p. 283
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information	p. 298
Laudatios
Reflections on a m/ Time with Dexter Kozen	p. 318
Two Three Pages Papers	p. 322
A Tribute from the Band	p. 323
Dexter Kozen: An Appreciation	p. 324
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance	p. 326
Making the World a Better Place	p. 328
Timesharing Dexter	p. 329
A Small Tribute	p. 333
Dexter Kozen's Influence on the Theory of Labelled Markov Processes	p. 334
An Appreciation of Dexter Kozen	p. 338
To Dexter - A Tribute from Aarhus	p. 341
Travelling with Dexter Kozen	p. 342
Dexter as a PhD Advisor	p. 352
Rock'n'Roll Computer Science	p. 354
Author Index	p. 357
Table of Contents provided by Ingram. All Rights Reserved.

Logic and Program Semantics

Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

The C Programming Language

Prentice Hall Software

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python Automation For Dummies

For Dummies (Computer/Tech)

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Python All-in-One For Dummies

3rd Edition

Python Workout, Second Edition

200 ten-minute exercises

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Practical Guide

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python for Excel

A Modern Environment for Automation and Data Analysis

C# 12 in a Nutshell

The Definitive Reference

Introduction to Machine Learning with Python

A Guide for Data Scientists

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

C++ Programming Language, The

Artificial Intelligence Programming with Python

From Zero to Hero

Programming Rust

Fast, Safe Systems Development 2nd Edition

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

This product is categorised by