|
Математические заметки, 1969, том 6, выпуск 6, страницы 663–668
(Mi mzm6975)
|
|
|
|
О направленных преобразованиях формул
Ю. И. Янов Институт прикладной математики АН СССР
Аннотация:
Изучается вопрос о существовании базисных систем равенств для произвольных алгебр применительно к задаче минимизации термов. Показано, что для любой алгебры существует базисная система равенств, с помощью которой любой терм можно монотонно минимизировать относительно глубины. Библ. 1 назв.
Поступило: 20.01.1969
Образец цитирования:
Ю. И. Янов, “О направленных преобразованиях формул”, Матем. заметки, 6:6 (1969), 663–668; Math. Notes, 6:6 (1969), 862–865
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm6975 https://www.mathnet.ru/rus/mzm/v6/i6/p663
|
Статистика просмотров: |
Страница аннотации: | 285 | PDF полного текста: | 122 | Первая страница: | 1 |
|