Кривой С. Л. Доказательство теорем в логике первого порядка, унификация и совместность линейных констрейнтов / С. Л. Кривой // Пробл. программир.. - 1998. - № 4. - С. 20-27. - Библиогр.: 8 назв. - рус.
Розглядається зв'язок проблем автоматизації суджень, АС-уніфікації і сумісність систем лінійних діофантових рівнянь над множиною натуральних чисел. Запропонована інкрементальна версія критерію перевірки сумісності системи лінійних однорідних діофантових рівнянь над множиною натуральних чисел.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"