Interval Logics and ωB-Regular Languages.

Angelo Montanari, Pietro Sala

Browse the full LATA paper archive.