Time hierarchy theorem: Difference between revisions

Revision as of 15:49, 25 March 2022

Revision as of 05:02, 30 January 2023

Line 46:

| ___location = Denver, Colorado, United States

| pages = 187–192

| doi = 10.1145/800152.804913| doi-access= free
}}</ref> It was improved to its current form via a complex proof by Joel Seiferas, [[Michael J. Fischer|Michael Fischer]], and [[Albert R. Meyer|Albert Meyer]] in 1978.<ref>{{cite journal

| last1 = Seiferas

| first1 = Joel I.