Propositional Dynamic Logic with Quantification over Regular Computation Sequences.

Igor Sedlr

Browse the full LFCS paper archive.