Constructive completeness for the linear-time μ-calculus.

Amina Doumane

Browse the full LICS paper archive.