Travelling with Dexter Kozen

  • Peter van Emde Boas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7230)

Abstract

Aside from our shared interest in particular areas of Theoretical Computer Science, the experience I share with Dexter Kozen originates from the fact that we both belong to the not too large group of Theoreticiancs who during the late 1970-ies and early 1980-ies frequently crossed the Iron Curtain in order to interact with our colleagues from the Socialist part of Europe. This results into many appearances of Dexter in my collection of pictures from that period; a collection I like to share with the readers of this volume.

Keywords

Finite Automaton Shared Interest Joint Publication Yorktown Height Iron Curtain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Peter van Emde Boas
    • 1
  1. 1.ILLC-FNWI-University of Amsterdam &, Bronstee.com Software & Services B.V.HeemstedeThe Netherlands

Personalised recommendations