Carme Àlvarez;Josep Díaz;Jacobo Torán
-;-;-
Limited nondeterminism
ACM SIGACT News
Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines
Journal of Computer and System Sciences