There Exit Decidable Context Free Propositional Dynamic Logics

• Authors:

• Tmima Koren;Amir Pnueli

• Affiliations:

• -;-

• Venue:
• Proceedings of the Carnegie Mellon Workshop on Logic of Programs
• Year:
• 1983