|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Гончаров С. С. Условные термы в семантическом программировании //
Том 58 (2017), Номер 5,
стр. 10261034
Для построения обогащения языка с ограниченными кванторами расширяется конструкция построения условных термов. Показано, что полученное расширение языка формул с ограниченными кванторами над структурами с наследственно конечными списками является консервативным обогащением.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|