PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization.

Facundo Carreiro, Yde Venema

Browse the full AiML paper archive.