A4 Article in conference proceedings
A new proof for the decidability of D0L ultimate periodicity




List of Authors: Halava Vesa, Harju Tero, Kärki Tomi
Publication year: 2011
Journal: Electronic Proceedings in Theoretical Computer Science
Volume number: 63
ISSN: 2075-2180


Last updated on 2019-21-08 at 21:47