Полугруппы с одним определяющим соотношением, элементарные теории которых разрешимы
Критические теории
Алгоритмические проблемы и иерархии языков первого порядка
Проблема равенства в неассоциативных кольцах.
Критические теории некоторых классов неассоциативных колец
Неассоциативные кольца с одним определяющим соотношением, элементарные теории которых разрешимы
Матричные иерархии языков первого порядка и их приложения.
Разрешимость позитивной теории свободной счетнопорожденной полугруппы
Границы разрешимости некоторых классов нильпотентных и разрешимых групп
Page 1