On models of a nondeterministic computation (0)

by M N Vyalyi
Venue:Proc. of CSR 2009. Springer Lecture Notes in Computer Science