Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Front Matter....Pages -
Residuated Kleene Algebras....Pages 1-11
Brzozowski’s Algorithm (Co)Algebraically....Pages 12-23
Experimental Descriptive Complexity....Pages 24-34
Meditations on Quantified Constraint Satisfaction....Pages 35-49
The Compass That Steered Robotics....Pages 50-65
Subtyping for F-Bounded Quantifiers and Equirecursive Types....Pages 66-82
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model....Pages 83-105
Capsules and Closures: A Small-Step Approach....Pages 106-123
Nuprl as Logical Framework for Automating Proofs in Category Theory....Pages 124-148
On the Final Coalgebra of Automatic Sequences....Pages 149-164
On Topological Completeness of Regular Tree Languages....Pages 165-179
A Complete Logical System for the Equality of Recursive Terms for Sets....Pages 180-203
Overloading Is NP-Complete....Pages 204-218
Combining Epistemic Logic and Hennessy-Milner Logic....Pages 219-243
Choice and Uncertainty in Games....Pages 244-255
The Complexity of Inhabitation with Explicit Intersection....Pages 256-270
On State Sequences Defined by Reaction Systems....Pages 271-282
On Distance Coloring....Pages 283-297
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information....Pages 298-317
Reflections on a \\m $\\slash$ Time with Dexter Kozen....Pages 318-321
Two Three Pages Papers....Pages 322-322
A Tribute from the Band....Pages 323-323
Dexter Kozen: An Appreciation....Pages 324-325
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance....Pages 326-327
Making the World a Better Place....Pages 328-328
Timesharing Dexter....Pages 329-332
A Small Tribute....Pages 333-333
Dexter Kozen’s Influence on the Theory of Labelled Markov Processes....Pages 334-337
An Appreciation of Dexter Kozen....Pages 338-340
To Dexter - A Tribute from Aarhus....Pages 341-341
Travelling with Dexter Kozen....Pages 342-351
Dexter as a PhD Advisor....Pages 352-353
Rock’n’Roll Computer Science....Pages 354-355
Back Matter....Pages -