谢尔盖·冈查洛夫 0002
人员信息
附属: 俄罗斯新西伯利亚皇家科学院西伯利亚分校索博列夫数学研究所
其他同名人员
谢尔盖·冈查洛夫 0001 — 埃朗根-纽伦堡大学计算机科学系 (还有2个以上)
优化列表
2020年–今天
2023 [公元15年] E.E.维提亚耶夫 , 谢尔盖·冈查洛夫 , 德米特里·伊万诺维奇·斯维里登科 :
任务驱动的人工智能方法。 认知。 系统。 物件。 81 : 50-56 ( 2023 ) 2020 [公元14年] 尼古拉·巴热诺夫 , 谢尔盖·冈查洛夫 , 亚历山大·梅尔尼科夫 :
可判定阿贝尔群的分解。 国际代数计算杂志。 30 ( 1 ) : 49-90 ( 2020 )
2010 – 2019
2019 [i1] 谢尔盖·冈查洛夫 , 谢尔盖·奥斯皮切夫 , 丹尼斯·波诺马利夫 , 德米特里·伊万诺维奇·斯维里登科 :
语义编程中循环术语的表达。 CoRR公司 abs/1912.02731 ( 2019 ) 2018 [j13] 谢尔盖·冈查洛夫 , 朱莉娅·奈特 , Ioannis A.Souldatos公司 :
可计算结构Scott语句的Hanf数。 架构(architecture)。 数学。 日志。 57 ( 7-8 ) : 889-907 ( 2018 ) 2011 [公元12年] 克劳斯·安布罗斯·斯皮斯 , Serikzhan A.Badaev公司 , 谢尔盖·冈查洛夫 :
归纳推理和可计算的数字。 西奥。 计算。 科学。 412 ( 18 ) : 1652-1668 ( 2011 ) 2010 [公元11年] 罗德尼·G·唐尼 , 谢尔盖·冈查洛夫 , 阿舍·M·卡赫 , 朱莉娅·奈特 , 奥列格·库迪诺夫 , 亚历山大·梅尔尼科夫 , 丹尼尔·图雷茨基 :
某些无挠阿贝尔群的可判定性和可计算性。 圣母院J.正式日志。 51 ( 1 ) : 85-96 ( 2010 )
2000 – 2009
2009 [公元10年] 韦斯利·卡尔弗特 , 谢尔盖·冈查洛夫 , 朱莉娅·奈特 , 杰西卡·米勒 :
可计算无穷理论的分类。 架构(architecture)。 数学。 日志。 48 ( 1 ) : 25-38 ( 2009 ) [公元9年] 奇泽姆 , 叶卡捷琳娜·福基纳 , 谢尔盖·S·贡查罗夫 , 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 萨拉·奎因 :
复杂性的内在界限和极限水平的可定义性。 J.塞姆。 日志。 74 ( 三 ) : 1047-1060 ( 2009 ) 2008 【c5】 克劳斯·安布罗斯·斯皮斯 , Serikzhan A.Badaev公司 , 谢尔盖·冈查洛夫 :
关于弗兰克·斯蒂芬的一个问题。 TAMC公司 2008 : 423-432 2007 [j8] 韦斯利·卡尔弗特 , 叶卡捷琳娜·福基纳 , 谢尔盖·冈查洛夫 , 朱莉娅·奈特 , 奥列格·库迪诺夫 , 安德烈·莫罗佐夫 , 瓦迪姆·普扎伦科 :
高阶结构类的索引集。 J.塞姆。 日志。 72 ( 4 ) : 1418-1432 ( 2007 ) 2005 [j7] 谢尔盖·冈查洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 查尔斯·F·D·麦考伊 , 罗素·G·米勒 , 里德所罗门 :
可计算结构理论中的枚举。 Ann.纯粹应用。 日志。 136 ( 三 ) : 219-246 ( 2005 ) 2004 [j6] 谢尔盖·冈查洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 理查德·肖尔 :
圆周率 1 1 关系和途径。 J.塞姆。 日志。 69 ( 2 ) : 585-611 ( 2004 ) 2003 【b1】 S.巴里·库珀 , 谢尔盖·冈查洛夫 :
可计算性和模型——东西方视角。 大学数学系列 , 施普林格 2003 ,国际标准图书编号 978-0-306-47400-2 第I-XVIII页,1-375页 [j5] 谢尔盖·冈查洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 查尔斯·F·D·麦考伊 :
可数结构上的简单免疫关系。 架构(architecture)。 数学。 日志。 42 ( 三 ) : 279-291 ( 2003 )
1990 – 1999
1999 [j4] 彼得·乔拉克 , 谢尔盖·冈查洛夫 , 巴哈迪尔·库萨诺夫 , 理查德·肖尔 :
常数的可计算分类结构和展开。 J.塞姆。 日志。 64 ( 1 ) : 13-37 ( 1999 ) 1998 [j3] 谢尔盖·冈查洛夫 :
低层可判定布尔代数。 Ann.纯粹应用。 日志。 94 ( 1-3 ) : 75-95 ( 1998 ) 1994 【c4】 谢尔盖·冈查洛夫 , Serikzhan A.Badaev公司 :
具有成对等价枚举的类。 LFCS公司 1994 : 140-141 1993 [注2] 谢尔盖·冈查洛夫 , 亚历山大·亚克尼斯 , 弗拉基米尔·雅克尼斯 :
一些有效的无限枚举类。 Ann.纯粹应用。 日志。 60 ( 三 ) : 207-235 ( 1993 )
1980 – 1989
1987 [j1] 谢尔盖·冈查洛夫 :
具有强同态的公理化类。 Stud Logica公司 46 ( 2 ) : 113-120 ( 1987 ) 【c3】 尤里·列奥尼多维奇·埃尔肖夫 , 谢尔盖·冈查洛夫 , 德米特里·伊万诺维奇·斯维里登科 :
编程的语义基础。 FCT公司 1987 : 116-122 1986 [c2] 谢尔盖·S·贡查罗夫 , 尤里·列奥尼多维奇·埃尔肖夫 , 德米特里·伊万诺维奇·斯维里登科 :
语义编程。 IFIP大会 1986 : 1113-1120 1985 【c1】 谢尔盖·冈查洛夫 , 德米特里·伊万诺维奇·斯维里登科 :
西格玛编程的理论方面。 软件系统规范与综合的数学方法 1985 : 169-179