A new proof for the decidability of D0L ultimate periodicity
From MaRDI portal
Publication:2789524
DOI10.4204/EPTCS.63.20zbMath1331.68131arXiv1108.3631MaRDI QIDQ2789524
Tomi Kärki, Vesa Halava, Tero J.Harju
Publication date: 1 March 2016
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1108.3631
This page was built for publication: A new proof for the decidability of D0L ultimate periodicity