Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof.

Raphal Meyer, Antoine Petit

Browse the full STACS paper archive.