A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead.

Yoshiki Nakamura

Browse the full FOSSACS paper archive.