default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Dexter Kozen 2012
- Robert L. Constable, Alexandra Silva:
Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7230, Springer 2012, ISBN 978-3-642-29484-6
Full Papers
- Hajnal Andréka, Szabolcs Mikulás, István Németi:
Residuated Kleene Algebras. 1-11 - Filippo Bonchi
, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Brzozowski's Algorithm (Co)Algebraically. 12-23 - Marco Carmosino, Neil Immerman, Charles Jordan:
Experimental Descriptive Complexity. 24-34 - Hubie Chen:
Meditations on Quantified Constraint Satisfaction. 35-49 - Bruce Randall Donald:
The Compass That Steered Robotics. 50-65 - Neal Glew:
Subtyping for F-Bounded Quantifiers and Equirecursive Types. 66-82 - Pawel Górecki, Jerzy Tiuryn:
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model. 83-105 - Jean-Baptiste Jeannin:
Capsules and Closures: A Small-Step Approach. 106-123 - Christoph Kreitz:
Nuprl as Logical Framework for Automating Proofs in Category Theory. 124-148 - Clemens Kupke, Jan J. M. M. Rutten:
On the Final Coalgebra of Automatic Sequences. 149-164 - Henryk Michalewski, Damian Niwinski:
On Topological Completeness of Regular Tree Languages. 165-179 - Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney:
A Complete Logical System for the Equality of Recursive Terms for Sets. 180-203 - Jens Palsberg:
Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen. 204-218 - Sophia Knight, Radu Mardare, Prakash Panangaden:
Combining Epistemic Logic and Hennessy-Milner Logic. 219-243 - Rohit Parikh, Çagil Tasdemir, Andreas Witzel:
Choice and Uncertainty in Games. 244-255 - Jakob Rehof, Pawel Urzyczyn:
The Complexity of Inhabitation with Explicit Intersection. 256-270 - Arto Salomaa:
On State Sequences Defined by Reaction Systems. 271-282 - Alexa Sharp:
On Distance Coloring - A Review Based on Work with Dexter Kozen. 283-297 - Glynn Winskel:
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information. 298-317
Laudatios
- Kamal Aboul-Hosn:
Reflections on a \m $\slash$ Time with Dexter Kozen. 318-321 - Krzysztof R. Apt:
Two Three Pages Papers. 322 - John Parker, Joel D. Baines, Paul Miller, Julia Miller:
A Tribute from the Band. 323 - Joseph Y. Halpern:
Dexter Kozen: An Appreciation. 324-325 - David Harel:
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. 326-327 - John E. Hopcroft:
Making the World a Better Place. 328 - Susan Landau:
Timesharing Dexter. 329-332 - Anil Nerode:
A Small Tribute. 333 - Prakash Panangaden:
Dexter Kozen's Influence on the Theory of Labelled Markov Processes. 334-337 - Rohit Parikh:
An Appreciation of Dexter Kozen. 338-340 - Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum:
To Dexter - A Tribute from Aarhus. 341 - Peter van Emde Boas:
Travelling with Dexter Kozen. 342-351 - Brad T. Vander Zanden:
Dexter as a PhD Advisor. 352-353 - Fritz Henglein:
Rock'n'Roll Computer Science. 354-355
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-25 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
