Automatic models of first order theories

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

Finite automata presentable abelian groups

by Nies, A., Semukhin, P.
Published 2014

Applications of kolmogorov complexity to computable model theory

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

Uncountable automatic classes and learning

by Jain, S., Luo, Q., Semukhin, P., Stephan, F.
Published 2013

Uncountable automatic classes and learning

by Jain, S., Luo, Q., Semukhin, P., Stephan, F.
Published 2013

Automatic learners with feedback queries

by Case, J., Jain, S., Ong, Y.S., Semukhin, P., Stephan, F.
Published 2013

Automatic learning of subclasses of pattern languages

by Case, J., Jain, S., Le, T.D., Ong, Y.S., Semukhin, P., Stephan, F.
Published 2013

Automatic learning of subclasses of pattern languages

by Case, J., Jain, S., Le, T.D., Ong, Y.S., Semukhin, P., Stephan, F.
Published 2013