Ливчак А Б

Публикации в базе данных Math-Net.Ru

1. Языки ${\rm PQL}$ и ${\rm FO}+{\rm LFP}$ эквивалентны и без наличия порядка
   
   Изв. вузов. Матем., 1996, № 4,  18–23
2. О полиномиальной вычислимости
   
   Изв. вузов. Матем., 1985, № 1,  66–67
3. Формульные подмножества упорядоченной группы целых чисел
   
   Изв. вузов. Матем., 1977, № 8,  105–107