Downey, Rodney; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melnikov, Alexander; Turetsky, Daniel Graphs are not universal for online computability. (English) Zbl 1476.03046 J. Comput. Syst. Sci. 112, 1-12 (2020). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng Automatic and polynomial-time algebraic structures. (English) Zbl 1454.03042 J. Symb. Log. 84, No. 4, 1630-1669 (2019). Reviewer: Jamalbek Tussupov (Astana) MSC: 03C57 03D05 03D20 03D45 03D80 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Jain, Sanjay; Khoussainov, Bakhadyr; Schlicht, Philipp; Stephan, Frank The isomorphism problem for tree-automatic ordinals with addition. (English) Zbl 1459.03057 Inf. Process. Lett. 149, 19-24 (2019). MSC: 03D05 03E10 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Jain, Sanjay; Martin, Eric; Stephan, Frank Robust learning of automatic classes of languages. (English) Zbl 1285.68074 J. Comput. Syst. Sci. 80, No. 4, 777-795 (2014). MSC: 68Q32 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Semukhin, Pavel; Stephan, Frank Automatic models of first order theories. (English) Zbl 1328.03037 Ann. Pure Appl. Logic 164, No. 9, 837-854 (2013). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 03C35 03D05 03C50 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Euclid HAL
Finkel, Olivier; Todorčević, Stevo The isomorphism relation between tree-automatic structures. (English) Zbl 1207.03050 Cent. Eur. J. Math. 8, No. 2, 299-313 (2010). MSC: 03D05 03C52 03C62 03E15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Nies, André; Semukhin, Pavel Finite automata presentable Abelian groups. (English) Zbl 1219.68116 Ann. Pure Appl. Logic 161, No. 3, 458-467 (2009). MSC: 68Q70 03D05 20K15 × Cite Format Result Cite Review PDF Full Text: DOI
Carton, Olivier Left and right synchronous relations. (English) Zbl 1247.68132 Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 170-182 (2009). MSC: 68Q45 68Q70 × Cite Format Result Cite Review PDF Full Text: DOI
Nies, André; Thomas, Richard M. FA-presentable groups and rings. (English) Zbl 1165.03017 J. Algebra 320, No. 2, 569-585 (2008). MSC: 03D05 16B70 20A15 × Cite Format Result Cite Review PDF Full Text: DOI
Bárány, Vince A hierarchy of automatic \(\omega\)-words having a decidable MSO theory. (English) Zbl 1152.03030 Theor. Inform. Appl. 42, No. 3, 417-450 (2008). Reviewer: Alex Nabebin (Moskva) MSC: 03D05 03B25 03D55 68Q42 68Q45 68R15 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Carton, Olivier The growth ratio of synchronous rational relations is unique. (English) Zbl 1111.68052 Theor. Comput. Sci. 376, No. 1-2, 52-59 (2007). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI HAL