С. С. Гончаров, “Условные термы в семантическом программировании”, Сиб. матем. журн., 2017, том 58, номер 5,страницы 1026

Эта публикация цитируется в 18 статьях

Условные термы в семантическом программировании

С. С. Гончаров

Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090

Аннотация: Для построения обогащения языка с ограниченными кванторами расширяется конструкция построения условных термов. Показано, что полученное расширение языка формул с ограниченными кванторами над структурами с наследственно конечными списками является консервативным обогащением.

Ключевые слова: формулы, термы, ограниченные кванторы, $\Delta_0$-формулы, $\Sigma$-формулы, семантическое программирование, вычислимость, вычислимость над абстрактными структурами, условные термы.

УДК: 510.2+510.3+510.6+51-8+004.8

MSC: 35R30

Статья поступила: 06.06.2017

DOI: 10.17377/smzh.2017.58.506