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




Last updated on 2024-26-11 at 23:10