Using Inductive Counting to Simulate Nondeterministic Computation.

Gerhard Buntrock, Lane A. Hemachandra, Dirk Siefkes

Browse the full MFCS paper archive.