Recursive Terms in Semantic Programming Научная публикация

Журнал	Siberian Mathematical Journal ISSN: 0037-4466 , E-ISSN: 1573-9260
Вых. Данные	Год: 2018, Том: 59, Номер: 6, Страницы: 1014-1023 Страниц : 10 DOI: 10.1134/s0037446618060058
Ключевые слова	computability; computability over abstract structures; conditional term; formula; hereditary finite list; hereditary finite set; model; recursive term; restricted quantifier; semantic programming; term; Δ-formula; Δ0-formula; Σ-formula
Авторы	Goncharov S.S. 1 , Sviridenko D.I. 1
Организации	1 Sobolev Institute of Mathematics