A Completeness Theorem for Probabilistic Regular Expressions.

Wojciech Rozowski, Alexandra Silva

Browse the full LICS paper archive.