Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday (Book, 2012) [WorldCat.org]
skip to content
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday Preview this item
ClosePreview this item
Checking...

Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday

Publisher: Heidelberg ; New York : Springer, 2012.
Series: Lecture notes in computer science, 7230.; Festschrift.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. The volume includes 19 full papers related to Dexter Kozen's research. The second part of this  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: Programmierlogik.; Programmanalyse.; Programmiersprache.; Mathematische Methode.; Kleene-Algebra.; Koalgebra.; Mathematische Logik.; Komplexitätstheorie.; Algorithmus.
Material Type: Internet resource
Document Type: Book, Internet Resource
ISBN: 9783642294846 3642294847 9783642294853 3642294855
OCLC Number: 788218334
Notes: Festschrift.
Description: xiii, 355 pages : illustrations ; 24 cm
Contents: Residuated kleene algebras / Hajnal Andréka, Szabolcs Mikulás and István Németi --
Brzozowski's algorithm (Co)algebraically / Filippo Bonchi, Marcello M. Bonsangue, Jan J.M.M. Rutten and Alexandra Silva --
Experimental descriptive complexity / Marco Carmosino, Neil Immerman and Charles Jordan --
Meditations on quantified constraint satisfaction / Hubie Chen --
The compass that steered robotics / Bruce R. Donald --
Subtyping for f-bounded quantifiers and equirecursive types / Neal Glew --
Inferring evolutionary scenarios in the duplication, loss and horizontal gene transfer model / Paweł Górecki and Jerzy Tiuryn --
Capsules and closures: a small-step approach / Jean-Baptiste Jeannin --
Nuprl as logical framework for automating proofs in category theory / Christoph Kreitz --
On the final coalgebra of automatic sequences / Clemens Kupke and Jan J.M.M. Rutten --
On topological completeness of regular tree languages / Henryk Michalewski and Damian Niwiński --
A complete logical system for the equality of recursive terms for sets / Lawrence S. Moss, Erik Wennstrom and Glen T. Whitney --
Overloading is NP-complete / A tutorial dedicated to Dexter Kozen / Jens Palsberg --
Combining epistemic logic and Hennessy-Milner Logic / Sophia Knight, Radu Mardare and Prakash Panangaden --
Choice and uncertainty in games / Rohit Parikh, Çağıl Taşdemir and Andreas Witzel --
The complexity of inhabitation with explicit intersection / Jakob Rehof and Paweł Urzyczyn --
On state sequences defined by reaction systems / Arto Salomaa --
On distance coloring : a review based on work with Dexter Kozen / Alexa Sharp --
Winning, losing and drawing in concurrent games with perfect or imperfect information / Glynn Winskel --
Reflections on a \m / time with Dexter Kozen / Kamal Aboul-Hosn --
Two three pages papers / Krzysztof R. Apt --
A tribute from the Band / John Parker, Joel D. Baines, Paul Miller and Julia Miller --
Dexter Kozen: an appreciation / Joseph Y. Halpern --
Dexter Kozen: a winning combination of brilliance, depth, and elegance / David Harel --
Making the world a better place / John Hopcroft --
Timesharing Dexter / Susan Landau --
A small tribute / Anil Nerode --
Dexter Kozen's influence on the theory of labelled markov processes / Prakash Panangaden --
An appreciation of Dexter Kozen / Rohit Parikh --
To Dexter --
a tribute from Aarhus / Erik Meineche Schmidt, Mogens Nielsen and Sven Skyum --
Travelling with Dexter Kozen / Peter van Emde Boas --
Dexter as a PhD advisor / Brad Vander Zanden --
Rock'n'Roll computer science /Fritz Henglein.
Series Title: Lecture notes in computer science, 7230.; Festschrift.; LNCS sublibrary., SL 2,, Programming and software engineering.
Responsibility: Robert L. Constable, Alexandra Silva (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.