Cook's tour of countable nondeterminism

Additional Metadata
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Colloquium on Automata, Languages and Programming
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K.& Plotkin, G. (1981). Cook's tour of countable nondeterminism. Proceedings of Automata, Languages and Programming, International Colloquium 1981, 479–494.

Publication