Исследование систем уравнений над графами, разрешимости универсальных теорий и аксиоматизируемости наследственных классов графов и матроидов

Ильев Артем Викторович. Исследование систем уравнений над графами, разрешимости универсальных теорий и аксиоматизируемости наследственных классов графов и матроидов: диссертация ... кандидата Физико-математических наук: 01.01.06 / Ильев Артем Викторович;[Место защиты: ФГБУН Институт математики им. С.Л.Соболева Сибирского отделения Российской академии наук], 2017