DOI10.4230/LIPIcs.STACS.2010.2478zbMath1230.68132MaRDI QIDQ3113773
Artur Jeż, Alexander Okhotin
Publication date: 23 January 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_85e4.html
zbMATH Keywords
computability; arithmetical hierarchy; language equations; hyper-arithmetical hierarchy
Mathematics Subject Classification ID
68Q45: Formal languages and automata
03B70: Logic in computer science