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.

Authors

Krzysztof R. Apt

This author has not been identified. It may be one of the following persons: Look up 'Krzysztof R. Apt' in Google

Gordon D. Plotkin

Identified as Gordon D. Plotkin