|
Алгебра и логика, 1974, том 13, номер 2, страницы 145–152
(Mi al1420)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Неразрешимость некоторых алгоритмических проблем для алгебр Ли
Л. А. Бокуть
Аннотация:
Доказана неразрешимость проблемы распознавания марковских свойств
конечно-определенных (к. о.) алгебр Ли, частной проблемы изоморфизма для
любой к. о. алгебры Ли, проблемы вхождения в прямое произведение двух
свободных алгебр Ли и проблемы равенства для ограниченных алгебр Ли.
Поступило: 20.03.1974
Образец цитирования:
Л. А. Бокуть, “Неразрешимость некоторых алгоритмических проблем для алгебр Ли”, Алгебра и логика, 13:2 (1974), 145–152
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1420 https://www.mathnet.ru/rus/al/v13/i2/p145
|
|