An EXPSPACE Lower Bound



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.


Word Problem Commutative Semigroup Reachability Problem Counter Machine Abelian Semigroup 
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.


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