Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П. Е. Алаев

Эта публикация цитируется в следующих статьяx:

1. Bazhenov N., San Mauro L., “On the Turing Complexity of Learning Finite Families of Algebraic Structures”, J. Logic Comput., 31:7 (2021), 1891–1900