Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition.

Joseph Boudou

Browse the full CADE paper archive.