Публикации в базе данных Math-Net.Ru
-
Сложность задачи удовлетворения ограничениям и её вариаций
Интеллектуальные системы. Теория и приложения, 25:4 (2021), 28–35
-
Доклады семинара «Теория автоматов»
Интеллектуальные системы. Теория и приложения, 22:4 (2018), 137–142
-
От двузначной к $k$-значной логике
Интеллектуальные системы. Теория и приложения, 22:1 (2018), 131–149
-
Предикатный метод построения решетки Поста
Дискрет. матем., 23:2 (2011), 115–128
-
О классификации автоматных базисов Поста по разрешимости свойств $A$-полноты для дефинитных автоматов
Дискрет. матем., 22:2 (2010), 80–95
-
Континуальность множества предполных классов в классе дефинитных автоматов
Фундамент. и прикл. матем., 15:4 (2009), 29–36
© , 2024