Сибирский Математический Журнал

Номера
2019:	1
2018:	1	2	3	4	5	6
2017:	1	2	3	4	5	6
2016:	1	2	3	4	5	6
2015:	1	2	3	4	5	6
2014:	1	2	3	4	5	6
2013:	1	2	3	4	5	6
2012:	1	2	3	4	5	6
2011:	1	2	3	4	5	6
2010:	1	2	3	4	5	6
2009:	1	2	3	4	5	6
2008:	1	2	3	4	5	6
2007:	1	2	3	4	5	6
2006:	1	2	3	4	5	6
2005:	1	2	3	4	5	6
2004:	1	2	3	4	5	6
2003:	1	2	3	4	5	6
2002:	1	2	3	4	5	6
2001:	1	2	3	4	5	6
2000:	1	2	3	4	5	6
1999:	1	2	3	4	5	6
1998:	1	2	3	4	5	6
1997:	1	2	3	4	5	6
1996:	1	2	3	4	5	6
1995:	1	2	3	4	5	6
1994:	1	2	3	4	5	6
1993:	1	2	3	4	5	6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Гончаров С. С., Свириденко Д. И. Рекурсивные термы в семантическом программировании // Том 59 (2018), Номер 6, стр. 1279–1290

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

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ АННОТАЦИИ

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ