On the Power of Nondeterminism in Dynamic Logic.

Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn

Browse the full ICALP paper archive.