springer.com springerprotocols.com Choose preferred language

SpringerLink

You have Guest access.

Search

Basic Search Search For All Content

Author or Editor Publication Volume Issue Page

Advanced Search

Content

Search For

Full Text Title & Abstract Title Only

DOI

Author

Editor

Citation

Publication (Title, DOI, ISSN, ISBN)

Volume

Issue

Page

Category and Date Limiters

Content Category

Entire Range of Publication Dates

Select date range Publication Dates Between Start DateANDEnd Date

Order of Results Most Relevant First Most Recently Published First Alphabetical

Texts in Computer Science, 2006, Part 1, 247-252, DOI: 10.1007/1-84628-477-5_47

Post’s Problem

Texts in Computer Science

Theory of Computation

10.1007/1-84628-477-5_47

Dexter C. Kozen

47. Post’s Problem