On the power of nondeterminism in dynamic logic

Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations
Original languageEnglish (US)
Title of host publicationAutomata, Languages and Programming - 9th Colloquium
EditorsMogens Nielsen, Erik Meineche Schmidt
PublisherSpringer Verlag
Pages48-60
Number of pages13
ISBN (Print)9783540115762
DOIs
StatePublished - Jan 1 1982
Event9th International Colloquium on Automata, Languages and Programming, ICALP 1982 - Aarhus, Denmark
Duration: Jul 12 1982Jul 16 1982

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume140 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other9th International Colloquium on Automata, Languages and Programming, ICALP 1982
CountryDenmark
CityAarhus
Period7/12/827/16/82

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Berman, P., Halpern, J. Y., & Tiuryn, J. (1982). On the power of nondeterminism in dynamic logic. In M. Nielsen, & E. M. Schmidt (Eds.), Automata, Languages and Programming - 9th Colloquium (pp. 48-60). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 140 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0012756