StringologyTimes
Data Structures and Algorithms: 1999/3/15-21
1:
Formalization of the class of problems solvable by a nondeterministic Turing machine