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

Softcover

ISBN 10: 3642294863 ISBN 13: 9783642294860

Verlag: Springer, 2012

Inhaltsangabe

Residuated Kleene Algebras.-Brzozowski?s Algorithm (Co)Algebraically.-Experimental Descriptive Complexity.-Meditations on Quantified Constraint Satisfaction.-The Compass That Steered Robotics.-Subtyping for F-Bounded Quantifiers and Equirecursive Types.- Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model.-Capsules and Closures: A Small-Step Approach.-Nuprl as Logical Framework for Automating Proofs in Category Theory.-On the Final Coalgebra of Automatic Sequences.-On Topological Completeness of Regular Tree Languages.-A Complete Logical System for the Equality of Recursive Terms for Sets.-Overloading is NP-Complete: A Tutorial Dedicated to Dexter Kozen.-Combining Epistemic Logic and Hennessy-Milner Logic.-Choice and Uncertainty in Games.-The Complexity of Inhabitation with Explicit Intersection.-On State Sequences Defined by Reaction Systems.-On Distance Coloring: A Review Based on Work with Dexter Kozen.-Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information.-Reflections on a \m/ Time with Dexter Kozen.-Two Three Pages Papers.-A Tribute from the Band .-Dexter Kozen: An Appreciation.-Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.-Making the World a Better Place.-Timesharing Dexter.-A Small Tribute.-Dexter Kozen?s Influence on the Theory of Labelled Markov Processes.-An Appreciation of Dexter Kozen.-To Dexter - A Tribute from Aarhus.-Travelling with Dexter Kozen.-Dexter as a PhD Advisor.-Rock?n?Roll Computer Science.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2012
• Sprache: Englisch
• ISBN 10: 3642294863
• ISBN 13: 9783642294860
• Einband: Paperback
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar