@inproceedings{aa7acf71bebd422e85a7c1de4766ee2d,
title = "On the power of nondeterminism in dynamic logic",
author = "Piotr Berman and Halpern, {Joseph Y.} and Jerzy Tiuryn",
note = "Funding Information: Acknowledgments: We would like to thank Albert Meyer for many valuable discussions, and helpful comments on previous drafts of this paper. This research was supported in part by NSF Grant MCS80-10707. The second author was also partially supported by a grant from the National Science and Engineering Research Council of Canada.; 9th International Colloquium on Automata, Languages and Programming, ICALP 1982 ; Conference date: 12-07-1982 Through 16-07-1982",
year = "1982",
doi = "10.1007/BFb0012756",
language = "English (US)",
isbn = "9783540115762",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "48--60",
editor = "Mogens Nielsen and Schmidt, {Erik Meineche}",
booktitle = "Automata, Languages and Programming - 9th Colloquium",
address = "Germany",
}