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

P. Urzyczyn
DOI: https://doi.org/10.1007/3-540-12689-9_130
1983-08-21
Abstract:
What problem does this paper attempt to address?