МАТЕМАТИКА

Строение фундированных конгруэнций и унификация бесконечных систем уравнений в термах

Ю. В. Гавриленко

Вычислительный центр РАН, г. Москва

УДК: 510.6+512.5

Статья представлена к публикации: А. А. Дородницын
Поступило: 08.09.1992

 Англоязычная версия: Doklady Mathematics, 1993, 47:2, 196–200

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

• 
•