A Cook s Tour of Countable Nondeterminism

Krzysztof R. Apt, Gordon D. Plotkin. A Cook s Tour of Countable Nondeterminism. In Shimon Even, Oded Kariv, editors, Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings. Volume 115 of Lecture Notes in Computer Science, pages 479-494, Springer, 1981.


No references recorded for this publication.

Cited by

No citations of this publication recorded.