Determinism versus nondeterminism with arithmetic tests and computation: extended abstract.

Mikls Ajtai

Browse the full STOC paper archive.