Языки ${\rm PQL}$ и ${\rm FO}+{\rm LFP}$ эквивалентны и без наличия порядка

А. Ю. Барышников, А. Б. Ливчак

Уральский государственный университет

УДК: 519.682

Поступила: 26.09.1994

 Англоязычная версия: Russian Mathematics (Izvestiya VUZ. Matematika), 1996, 40:4, 16–21

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

• 
•