collaborators

1 paper

cs.LO2011

Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages

Markus Latte

For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a…