DOI10.1051/ita:2007038zbMath1144.68033MaRDI QIDQ3515466
Alexander Okhotin, Galina Jirásková
Publication date: 29 July 2008 Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave) Full work available at URL: https://eudml.org/doc/246037
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q19: Descriptive complexity and finite models