Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David The big-O problem. (English) Zbl 07566053 Log. Methods Comput. Sci. 18, No. 1, Paper No. 40, 50 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Chistikov} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 40, 50 p. (2022; Zbl 07566053) Full Text: arXiv Link
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank Deciding parity games in quasi-polynomial time. (English) Zbl 07516621 SIAM J. Comput. 51, No. 2, STOC17-152-STOC17-188 (2022). MSC: 68Q25 68Q70 PDFBibTeX XMLCite \textit{C. S. Calude} et al., SIAM J. Comput. 51, No. 2, STOC17--152-STOC17--188 (2022; Zbl 07516621) Full Text: DOI
Finkel, Olivier; Todorčević, Stevo A hierarchy of tree-automatic structures. (English) Zbl 1241.03041 J. Symb. Log. 77, No. 1, 350-368 (2012). MSC: 03C57 03D05 03E35 03E50 PDFBibTeX XMLCite \textit{O. Finkel} and \textit{S. Todorčević}, J. Symb. Log. 77, No. 1, 350--368 (2012; Zbl 1241.03041) Full Text: DOI arXiv Euclid