Deterministic Context-Free Dynamic Logic is More Expressive than Deterministic Dynamic Logic of Regular Programs.

Pawel Urzyczyn

Browse the full FCT paper archive.