A new proof for the decidability of D0L ultimate periodicity

: Halava Vesa, Harju Tero, Kärki Tomi

: 2011

 Electronic Proceedings in Theoretical Computer Science

: 63

: 147

: 151

: 2075-2180