Reasoning About Periodicity on Infinite Words.

Wanwei Liu, Fu Song, Ge Zhou

Browse the full SETTA paper archive.