An EXPSPACE Lower Bound

Chapter

Abstract

Albert Meyer, in the first decade of his career, was one of the top theorists in the world, yet you may not know his work in detail. The cause, most likely, is that years ago he closed down his research program in complexity theory, moving into the area of the logic and semantics of programming languages. While he was a complexity theorist, he helped invent the polynomial time hierarchy, he proved lower bounds on real-time Turing Machines, he showed huge lower bounds on various logical theories, he proved the sharpest nondeterministic time hierarchy theorem known, and more. Much of this was joint work with some of the best of the best: Mike Fischer, Mike Paterson, Charlie Rackoff, Larry Stockmeyer, and others.

Keywords

Lost Mellon Aceto 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2010

Authors and Affiliations

  1. 1.Georgia Institute of TechnologyCollege of Computing School of Computer ScienceAtlantaUSA

Personalised recommendations