Description |
1 online resource (xiii, 355 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 7230 |
|
Festschrift |
|
Programming and software engineering |
|
Lecture notes in computer science ; 7230. 0302-9743
|
|
Lecture notes in computer science. Festschrift.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
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 \slashUnknown control sequence '\slash' 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 |
Summary |
Annotation 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 |
Bibliography |
Includes bibliographical references |
Notes |
Print version record |
Subject |
Computer logic.
|
|
Computer programming.
|
|
Software engineering.
|
|
computer programming.
|
|
Informatique.
|
|
Computer logic
|
|
Computer programming
|
|
Software engineering
|
Genre/Form |
Festschriften
|
|
Software.
|
|
Festschriften.
|
Form |
Electronic book
|
ISBN |
9783642294853 |
|
3642294855 |
|