玛丽娜·多尔日耶娃;亚历山大·梅尔尼科夫 准时呈现的结构。I: 闭包定理。 (英语) Zbl 07797485号 可计算性 12,第4号,323-337(2023)。 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{M.Dorzhieva}和\textit{A.Melnikov},可计算性12,第4期,323--337(2023年;Zbl 07797485) 全文: 内政部
阿莱夫,体育。;Selivanov,V.L。 可在多项式时间内计算的代数数字段。二、。 (英语。俄文原件) Zbl 1515.03158号 代数逻辑 60,第6号,349-359(2022); 《代数逻辑60》第6期第533-548页(2021年)的译文。MSC公司:03C57 03天45分 2014年11月 2016年11月 11单元09 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Alaev}和\textit{V.L.Selivanov},代数逻辑60,No.6,349--359(2022;Zbl 1515.03158);《代数逻辑学》第60卷第6期第533--548页(2021年)的译文 全文: 内政部
阿莱夫,体育。;Selivanov,V.L。 搜索可计算结构的适用版本。 (英语) Zbl 07495151号 De Mol,Liesbeth(编辑)等人,《与可计算性的联系》。第17届欧洲可计算性会议,CiE 2021,虚拟事件,比利时根特,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12813, 1-11 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.E.Alaev}和\textit{V.L.Selivanov},莱克特。注释计算。科学。12813,1--11(2021;Zbl 07495151) 全文: 内政部
斯维特拉娜·塞利瓦诺娃;维克托·塞利瓦诺夫 保证精度的对称双曲偏微分方程组计算解的位复杂度。 (英语) Zbl 07363329号 可计算性 10,第2期,123-140(2021年)。MSC公司:03D78号 65年第68季度 35L45英寸 6500万06 65平方米 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{S.Selivanova}和\textit{V.Selivanov},可计算性10,No.2,123--140(2021;Zbl 07363329) 全文: 内政部
卡里穆林,I.Sh。;A.G.梅尔尼科夫。 相对于可计算预言机的准时分类。 (英语) Zbl 1491.03028号 Lobachevskii J.数学。 42,第4期,735-742(2021)。MSC公司:03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{I.Sh.Kalimullin}和\textit{A.G.Melnikov},Lobachevskii J.Math。42,编号4,735--742(2021;Zbl 1491.03028) 全文: 内政部
雅各布·卡森;道格拉斯·森泽;杰弗里·雷梅尔(Jeffrey B.Remmel)。 自动等价和嵌套等价结构的有效分类。 (英语) Zbl 1485.03109号 理论计算。系统。 64,第6期,1110-1139(2020年)。MSC公司:03C57 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{J.Carson}等人,《理论计算》。系统。64,第6号,1110--1139(2020;Zbl 1485.03109) 全文: 内政部
阿莱夫,体育。;Selivanov,V.L。 可在多项式时间内计算的代数数字段。一、。 (英语。俄文原件) 兹比尔1484.03058 代数逻辑 58,第6期,447-469(2020); 摘自《代数逻辑》58,第6期,673-705(2019)。MSC公司:03C57 03天45分 2014年11月 2016年11月 11单元09 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Alaev}和\textit{V.L.Selivanov},代数逻辑58,No.6,447--469(2020;Zbl 1484.03058);《代数逻辑》58,No.6,673--705(2019)的译文 全文: 内政部
尼古拉·巴热诺夫;马修·哈里森·特雷纳;伊斯坎德卡利穆林;亚历山大·梅尔基诺夫;Ng,Keng Meng女士 自动和多项式时间代数结构。 (英语) Zbl 1454.03042号 J.塞姆。日志。 84,第4期,1630-1669(2019)。 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03C57 05年3月 03D20日 03天45分 03天80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,J.Symb。日志。84,第4号,1630--1669(2019;Zbl 1454.03042) 全文: 内政部 链接
亚历山大·梅尔尼科夫。;Ng,Keng Meng女士 无延迟的来回方法和可计算性。 (英语) 兹比尔1508.03073 以色列。数学杂志。 234,第2号,959-1000(2019)。MSC公司:2015年3月1日 03天45分 03C57 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Melnikov}和\textit{K.M.Ng},以色列。数学杂志。234,第2号,959--1000(2019;Zbl 1508.03073) 全文: 内政部
阿莱夫,体育。 本原递归和多项式布尔代数的分类。 (英语。俄文原件) Zbl 1485.03102号 代数逻辑 57,第4期,251-274(2018); 《代数逻辑》57,第4期,389-425(2018)的译文。MSC公司:03C57 03天45分 03C35号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Alaev},《代数逻辑》57,第4期,251--274(2018;Zbl 1485.03102);《代数逻辑》57,第4期,第389--425页的译文(2018) 全文: 内政部
阿莱夫,体育。 可在多项式时间内计算的结构。二、。 (英语。俄文原件) Zbl 1420.03105号 代数逻辑 56,第6号,429-442(2018); 摘自《代数逻辑》56,第6期,651-670(2017)。MSC公司:03天45分 03C57 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Alaev},代数逻辑56,No.6,429--442(2018;Zbl 1420.03105);《代数逻辑学》56,第6期,651--670(2017)的译文 全文: 内政部
I.S.卡里穆林。;A.G.梅尔尼科夫。;Ng、K.M。 分类的多样性刻不容缓。 (英语。俄文原件) Zbl 1423.03151号 代数逻辑 56,第2期,171-177(2017); 摘自《代数逻辑》56,第2期,256-266(2017)。MSC公司:03天45分 03C57 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Kalimullin}等人,《代数逻辑》56,第2期,171--177(2017;Zbl 1423.03151);《代数逻辑学》第56卷第2期第256--266页的译文(2017年) 全文: 内政部 链接
阿莱夫,体育。 可在多项式时间内计算的结构。一、。 (英语。俄文原件) Zbl 1420.03104号 代数逻辑 55,第6号,421-435(2017); 摘自《代数逻辑》55,第6期,647-669(2016)。MSC公司:03天45分 2015年3月1日 03C57 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Alaev},代数逻辑55,No.6,421--435(2017;Zbl 1420.03104);《代数逻辑》55的译文,第6期,第647-669页(2016) 全文: 内政部
亚历山大·梅尔尼科夫。 消除可计算代数中的无界搜索。 (英语) Zbl 1433.03117号 Kari,Jarkko(编辑)等人,《揭示动力学和复杂性》。2017年6月12日至16日在芬兰图尔库举行的第13届欧洲可计算性会议,CiE 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10307, 77-87 (2017).MSC公司:03天45分 03C57 PDF格式BibTeX公司 XML格式引用 \发短信{A.G.Melnikov},勒克特。注释计算。科学。10307、77--87(2017;Zbl 1433.03117) 全文: 内政部
伊斯坎德卡利穆林;亚历山大·梅尔尼科夫;Ng,Keng Meng女士 代数结构可立即计算。 (英语) Zbl 1418.03151号 西奥。计算。科学。 674, 73-98 (2017)。MSC公司:03天45分 PDF格式BibTeX公司 XML格式引用 \textit{I.Kalimullin}等人,Theor。计算。科学。674、73-98(2017;Zbl 1418.03151) 全文: 内政部