@dblp

Propositional Dynamic Logic of Context-Free Programs

, , and . FOCS, page 310-321. IEEE Computer Society, (1981)

Links and resources

Tags