A4 Refereed article in a conference publication

A new proof for the decidability of D0L ultimate periodicity

Authors: Halava Vesa, Harju Tero, Kärki Tomi

Publication year: 2011

Journal: Electronic Proceedings in Theoretical Computer Science

Volume: 63

First page : 147

Last page: 151

ISSN: 2075-2180