Publication:2915686
From MaRDI portal
DOI10.4230/LIPIcs.CSL.2011.248zbMath1247.68136arXiv1302.2675MaRDI QIDQ2915686
Thomas Wilke, Moshe Y. Vardi, Orna Kupferman, Seth Fogarty
Publication date: 18 September 2012
Full work available at URL: https://arxiv.org/abs/1302.2675
68Q45: Formal languages and automata