Automatic linear orders and trees

by Khoussainov, B., Rubin, S., Stephan, F.
Published 2013

Finitely generated semiautomatic groups

by Jain S., Khoussainov B., Stephan F.
Published 2020

Computable categoricity and the Ershov hierarchy

by Khoussainov, B., Stephan, F., Yang, Y.
Published 2014

Applications of kolmogorov complexity to computable model theory

by Khoussainov, B., Semukhin, P., Stephan, F.
Published 2014

Reducibilities among equivalence relations induced by recursively enumerable structures

by Gavryushkin A., Khoussainov B., Stephan F.
Published 2020

Graphs realised by r.e. equivalence relations

by Gavruskin, A., Jain, S., Khoussainov, B., Stephan, F.
Published 2014

The isomorphism problem for tree-automatic ordinals with addition

by Jain S., Khoussainov B., Schlicht P., Stephan F.
Published 2020

Tree-automatic scattered linear orders

by Jain S., Khoussainov B., Schlicht P., Stephan F.
Published 2020

Semiautomatic Structures

by Jain S., Khoussainov B., Stephan F., Teng D., Zou S.
Published 2020

Random subgroups of rationals

by Gao, Z, Jain, S, Khoussainov, B, Li, W, Melnikov, A, Seidel, K, Stephan, F
Published 2021