On the Herbrand Kleene Universe for Nondeterministic Computations.

Manfred Broy

Browse the full MFCS paper archive.