RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Бельтюков Анатолий Петрович

Публикации в базе данных Math-Net.Ru

  1. Complexity of computations with time travel

    Программные системы: теория и приложения, 16:2 (2025),  3–54
  2. Programming in grammars

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 35:2 (2025),  315–334
  3. Adaptive human–machine theorem proving system

    Изв. ИМИ УдГУ, 64 (2024),  17–33
  4. Two-level realization of logical formulas for deductive program synthesis

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 34:4 (2024),  469–485
  5. Взаимное моделирование последовательных и параллельных словарных вычислений

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 34:2 (2024),  299–308
  6. Уточнение результатов распознавания математических формул с использованием расстояния Левенштейна

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 30:3 (2020),  513–529
  7. Logical analysis of emotions in text from natural language

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:1 (2019),  106–116
  8. Математическая модель фотоэлектрического преобразователя с использованием $W$-функции Ламберта

    Изв. ИМИ УдГУ, 2016, № 2(48),  22–30
  9. Интерактивные реализации логических формул

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 26:2 (2016),  177–193
  10. Математическое моделирование изображений формул с целью их распознавания

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2013, № 1,  153–167
  11. Применение регулярных выражений в распознавании математических текстов

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2012, № 2,  63–73
  12. О проблемах читателей и процессе чтения в электронной среде

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, № 4,  101–111
  13. Конструктивные механизмы в ИТ-сфере

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2009, № 2,  102–109
  14. Простые типизированные функциональные языки программирования

    Вестн. Удмуртск. ун-та. Матем., 2007, № 1,  223–234
  15. Слабая конструктивная арифметика второго порядка с извлечением алгоритмов, вычислимых за полиномиальное время

    Зап. научн. сем. ПОМИ, 304 (2003),  7–12
  16. Комбинированные иерархии конечных равнодоступных адресных машин

    Зап. научн. сем. ПОМИ, 277 (2001),  5–13
  17. Нижние оценки сложности для машинных моделей вычисления

    Зап. научн. сем. ЛОМИ, 118 (1982),  4–24
  18. Иерархии сложности вычисления частичных функций со значениями 0 и 1

    Матем. заметки, 28:3 (1980),  423–431
  19. Машинное описание и иерархия начальных классов Гжегорчика

    Зап. научн. сем. ЛОМИ, 88 (1979),  30–46
  20. Максимальная последовательность классов, преобразуемых примитивной рекурсией в заданный класс

    Зап. научн. сем. ЛОМИ, 68 (1977),  3–18
  21. Разрешимость универсальной теории натуральных чисел со сложением и делимостью

    Зап. научн. сем. ЛОМИ, 60 (1976),  15–28
  22. Итеративное описание класса $\varepsilon^1$ иерархии Гжегорчика

    Зап. научн. сем. ЛОМИ, 60 (1976),  3–14

  23. Николай Николаевич Непейвода. К юбилею

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:2 (2019),  295–298
  24. Памяти Галимзяна Газизовича Исламова (02.02.1948-22.11.2017)

    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 27:4 (2017),  634–642

© МИАН, 2025