Using inductive counting to simulate nondeterministic computation

• Authors:

• Gerhard Buntrock;Lane A. Hemachandra;Dirk Siefkes

• Affiliations:

• -;-;-

• Venue:
• Information and Computation
• Year:
• 1993