Coverart for item
The Resource Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Robert L. Constable, Alexandra Silva (eds.), (electronic resource)

Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Robert L. Constable, Alexandra Silva (eds.), (electronic resource)

Label
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Title
Logic and program semantics
Title remainder
essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Statement of responsibility
Robert L. Constable, Alexandra Silva (eds.)
Subject
Language
eng
Summary
Annotation
Member of
Cataloging source
GW5XE
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science,
  • Festschrift
  • Programming and software engineering
Series volume
7230
Summary expansion
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
Label
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Robert L. Constable, Alexandra Silva (eds.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-29485-3
Instantiates
Publication
Note
Festschrift
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Color
multicolored
Contents
  • 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
  • Residuated Kleene Algebras
  • 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
  • Hajnal Andréka, Szabolcs Mikulás and István Németi
  • Sophia Knight, Radu Mardare and Prakash Panangaden
  • Choice and Uncertainty in Games
  • Rohit Parikh, Çağıl Taşdemir and Andreas Witzel
  • 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
  • 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
  • The Complexity of Inhabitation with Explicit Intersection
  • 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
  • Jakob Rehof and Paweł Urzyczyn
  • 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
  • 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
Control code
ocn793076786
Dimensions
unknown
Extent
1 online resource (xiii, 355 p.)
File format
unknown
Form of item
online
Isbn
9783642294853
Isbn Type
(electronic bk.)
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)793076786
Label
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday, Robert L. Constable, Alexandra Silva (eds.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-29485-3
Publication
Note
Festschrift
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Color
multicolored
Contents
  • 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
  • Residuated Kleene Algebras
  • 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
  • Hajnal Andréka, Szabolcs Mikulás and István Németi
  • Sophia Knight, Radu Mardare and Prakash Panangaden
  • Choice and Uncertainty in Games
  • Rohit Parikh, Çağıl Taşdemir and Andreas Witzel
  • 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
  • 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
  • The Complexity of Inhabitation with Explicit Intersection
  • 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
  • Jakob Rehof and Paweł Urzyczyn
  • 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
  • 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
Control code
ocn793076786
Dimensions
unknown
Extent
1 online resource (xiii, 355 p.)
File format
unknown
Form of item
online
Isbn
9783642294853
Isbn Type
(electronic bk.)
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)793076786

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...