← Questions

Source-derived question

What assumption about nondeterministic machines did Rabin and Scott disprove in their 1959 paper?

Sources that address it

  1. ACM A.M. Turing Awardalmanac

Related questions