Ю. В. Матиясевич, “Применение методов теории логического вывода в теории графов”, Матем. заметки, 1972, том 12, выпуск 6,страницы 781

Эта публикация цитируется в 3 статьях

Применение методов теории логического вывода в теории графов

Ю. В. Матиясевич

Ленинградское отделение Математического института им. В. А. Стеклова АН СССР

Аннотация: Приводится индуктивное определение свойства «быть графом, нераскрашиваемым в $n$ цветов». Библ. 12 назв.

УДК: 51.01:164+519.1

Поступило: 12.05.1971

Англоязычная версия: Mathematical Notes, 1972, 12:6, 904–908

Реферативные базы данных: