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 - 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
Country/TerritoryDenmark
CityAarhus
Period7/12/827/16/82

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this