Sequential Algorithms for Unbounded Nondeterminism

James Laird. Sequential Algorithms for Unbounded Nondeterminism. Electronic Notes in Theoretical Computer Science, 319:271-287, 2015. [doi]

Abstract

Abstract is missing.