On the Herbrand Kleene universe for nondeterministic computations

Mathematical Foundations of Computer Science 1984 - Lecture Notes in Computer Science ◽

10.1007/bfb0030301 ◽

2006 ◽

pp. 214-222 ◽

Cited By ~ 2

Author(s):

Manfred Broy