расширенный поиск
Дата публикации: 2020
Дата публикации в реестре: 2021-08-05T17:53:48Z
В работе приводится описание системы системы вычисления канонической формы фрагмента sc-текста, основанной на квазиполиномиальном алгоритме решения изоморфизма графов.
Тип: Статья