Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Last time updated on 01/04/2019