Conditional terms in semantic programming

Результат исследования: Научные публикации в периодических изданияхстатья

9 Цитирования (Scopus)

Аннотация

For constructing an enrichment of the language with restricted quantifiers, we extend the construction of conditional terms. We show that the so-obtained extension of the language of formulas with restricted quantifiers over structures with hereditary finite lists is a conservative enrichment.

Язык оригиналаанглийский
Страницы (с-по)794-800
Число страниц7
ЖурналSiberian Mathematical Journal
Том58
Номер выпуска5
DOI
СостояниеОпубликовано - 1 сен 2017

Fingerprint Подробные сведения о темах исследования «Conditional terms in semantic programming». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать