On the Herbrand Kleene Universe for Nondeterministic Computations

• Authors:

• Manfred Broy

• Affiliations:

• -

• Venue:
• Proceedings of the Mathematical Foundations of Computer Science 1984
• Year:
• 1984