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

Буевич В А

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

  1. Об алгоритмической разрешимости задачи об $A$-полноте для систем ограниченно-детерминированных функций, содержащих все одноместные $S$-о.-д. функции

    Дискрет. матем., 24:4 (2012),  56–69
  2. Задача о полноте $\mathrm{S}$-множеств детерминированных функций

    Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2008, № 5,  57–59
  3. Критерий полноты систем, содержащих все одноместные ограниченно-детерминированные функции

    Дискрет. матем., 12:4 (2000),  138–158
  4. Вариант доказательства критерия полноты для функций $k$-значной логики

    Дискрет. матем., 8:4 (1996),  11–36
  5. О $\tau$-полноте в классе детерминированных функций

    Докл. РАН, 326:3 (1992),  399–403
  6. О $\tau$-полноте в классе автоматных отображений

    Докл. АН СССР, 252:5 (1980),  1037–1041
  7. Об алгоритмической неразрешимости распознавания $A$-полноты для ограниченно-детерминированных функций

    Матем. заметки, 11:6 (1972),  687–697


© МИАН, 2024