A4 Vertaisarvioitu artikkeli konferenssijulkaisussa

A new proof for the decidability of D0L ultimate periodicity

Tekijät: Halava Vesa, Harju Tero, Kärki Tomi

Julkaisuvuosi: 2011

Journal: Electronic Proceedings in Theoretical Computer Science

Vuosikerta: 63

Aloitussivu: 147

Lopetussivu: 151

ISSN: 2075-2180