МАТЕМАТИКА

Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании

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

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

УДК: 510.57+519.717.3

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

 Англоязычная версия: Doklady Mathematics, 1990, 41:3, 501–505

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

• 
•