С. П. Шлепаков, “О решениях систем уравнений в первопорядковых теориях Шостака”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2005, номер 3,страницы 55

Краткие сообщения

О решениях систем уравнений в первопорядковых теориях Шостака

С. П. Шлепаков

Аннотация: Показано, что в присутствии теории Шостака совместная система уравнений имеет наиболее общий унификатор, и представлен алгоритм, его вычисляющий.
Библиогр. 6.

УДК: 510.53

Поступила в редакцию: 14.04.2004