On the amount of nondeterminism and the power of verifying

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

10.1007/3-540-57182-5_23 ◽

1993 ◽

pp. 311-320 ◽

Author(s):

Liming Cai ◽

Jianer Chen

Download Full-text