Записки научных семинаров ПОМИ
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

2020, том 497  
| Общая информация | Содержание |


Комбинаторика и теория графов. XII


Алгоритм последовательного построения остовных минимальных ориентированных лесов
В. А. Буслов 		5–25
Точная оценка на количество правильных $3$-раскрасок рёбер связного кубического графа
М. П. Иванов 		26–52
Критерий наличия такого цикла, что множество не входящих в него вершин независимо
Н. А. Кароль 		53–79
On semi-reconstruction of graphs of connectivity $2$
D. V. Karpov 		80–99
О разбиении плоских множеств на $6$ частей малого диаметра
В. О. Коваль 		100–123
Верхние и нижние оценки высот секвенциальных доказательств в интуиционистском исчислении
В. П. Оревков 		124–169
Записки научных семинаров ПОМИ
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025