Logic and Program Semantics

Publications

2012

Henryk Michalewski, Damian Niwinski
On Topological Completeness of Regular Tree Languages. Logic and Program Semantics (2012)
Glynn Winskel
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information. Logic and Program Semantics (2012)
Christoph Kreitz
Nuprl as Logical Framework for Automating Proofs in Category Theory. Logic and Program Semantics (2012)
Rohit Parikh
An Appreciation of Dexter Kozen. Logic and Program Semantics (2012)
Hubie Chen
Meditations on Quantified Constraint Satisfaction. Logic and Program Semantics (2012)
Rohit Parikh, Çagil Tasdemir, Andreas Witzel
Choice and Uncertainty in Games. Logic and Program Semantics (2012)
Jakob Rehof, Pawel Urzyczyn
The Complexity of Inhabitation with Explicit Intersection. Logic and Program Semantics (2012)
Hajnal Andréka, Szabolcs Mikulás, István Németi
Residuated Kleene Algebras. Logic and Program Semantics (2012)
Sophia Knight, Radu Mardare, Prakash Panangaden
Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics (2012)
Susan Landau
Timesharing Dexter. Logic and Program Semantics (2012)
Brad T. Vander Zanden
Dexter as a PhD Advisor. Logic and Program Semantics (2012)
Anil Nerode
A Small Tribute. Logic and Program Semantics (2012)
Krzysztof R. Apt
Two Three Pages Papers. Logic and Program Semantics (2012)
Peter van Emde Boas
Travelling with Dexter Kozen. Logic and Program Semantics (2012)
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics (2012)
Kamal Aboul-Hosn
Reflections on a \m $\slash$ Time with Dexter Kozen. Logic and Program Semantics (2012)
Jean-Baptiste Jeannin
Capsules and Closures: A Small-Step Approach. Logic and Program Semantics (2012)
Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney
A Complete Logical System for the Equality of Recursive Terms for Sets. Logic and Program Semantics (2012)
Marco Carmosino, Neil Immerman, Charles Jordan
Experimental Descriptive Complexity. Logic and Program Semantics (2012)
Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum
To Dexter - A Tribute from Aarhus. Logic and Program Semantics (2012)
Jens Palsberg
Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen. Logic and Program Semantics (2012)
Bruce Randall Donald
The Compass That Steered Robotics. Logic and Program Semantics (2012)
Joseph Y. Halpern
Dexter Kozen: An Appreciation. Logic and Program Semantics (2012)
Neal Glew
Subtyping for F-Bounded Quantifiers and Equirecursive Types. Logic and Program Semantics (2012)
Pawel Górecki, Jerzy Tiuryn
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model. Logic and Program Semantics (2012)
John Parker, Joel D. Baines, Paul Miller, Julia Miller
A Tribute from the Band. Logic and Program Semantics (2012)
Fritz Henglein
Rock'n'Roll Computer Science. Logic and Program Semantics (2012)
David Harel
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. Logic and Program Semantics (2012)
John E. Hopcroft
Making the World a Better Place. Logic and Program Semantics (2012)
Alexa Sharp
On Distance Coloring - A Review Based on Work with Dexter Kozen. Logic and Program Semantics (2012)
Arto Salomaa
On State Sequences Defined by Reaction Systems. Logic and Program Semantics (2012)
Clemens Kupke, Jan J. M. M. Rutten
On the Final Coalgebra of Automatic Sequences. Logic and Program Semantics (2012)
Prakash Panangaden
Dexter Kozen's Influence on the Theory of Labelled Markov Processes. Logic and Program Semantics (2012)

volume 7230, 2012

Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Logic and Program Semantics 7230 (2012)