×

找到85个文档（结果1-85）

最新的 引文 关联
卡里穆林，I.Sh。;Selivanov，V.L。;弗罗洛夫，A.N。

结构的度谱。 （英语。俄文原件） 兹伯利07364542

数学杂志。科学。，纽约 256，编号2，143-159（2021）; 伊托基·诺基（Itogi Nauki Tekh.）翻译。，序列号。索夫雷姆。Mat.Prilozh。，特马特。奥巴马。158, 23-39 (2018).
MSC公司：03天45分 03C57
PDF格式BibTeX公司 XML格式引用
\textit{I.Sh.Kalimullin}等人，《数学杂志》。科学。，纽约256，No.2，143--159（2021；Zbl 07364542）；伊托基·诺基（Itogi Nauki Tekh.）翻译。，序列号。索夫雷姆。Mat.Prilozh。，特马特。奥巴马。158, 23--39 (2018)
全文： 内政部
北卡罗来纳州巴兹诺夫。

可计算结构的分类谱。 （英语。俄文原件） Zbl 1485.03105号

数学杂志。科学。，纽约 256，编号1，34-50（2021）; 伊托基·诺基（Itogi Nauki Tekh.）翻译。，序列号。索夫雷姆。Mat.Prilozh。，特马特。奥巴马。157, 42-58 (2018).
审核人：安德烈·莫罗佐夫（新西伯利亚）
MSC公司：03C57 03天45分
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Bazhenov}，J.数学。科学。，纽约256，No.1，34--50（2021；Zbl 1485.03105）；伊托基·诺基（Itogi Nauki Tekh.）翻译。，序列号。索夫雷姆。Mat.Prilozh。，特马特。奥巴马。157, 42--58 (2018)
全文： 内政部
罗德尼·唐尼;马修·哈里森·特雷纳;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫;丹尼尔·特雷茨基

对于在线可计算性来说，图形并不是通用的。 （英语） Zbl 1476.03046号

J.计算。系统。科学。 112, 1-12 (2020)。
审核人：安德烈·莫罗佐夫（新西伯利亚）
MSC公司：03C57 03天45分
PDF格式BibTeX公司 XML格式引用
\textit｛R.Downey｝等人，J.Comput。系统。科学。112、1-12（2020年；Zbl 1476.03046）
全文： 内政部
北卡罗来纳州巴兹诺夫。;福基纳，E.B。;D.罗塞格。;圣毛罗，L。

可计算的双嵌入分类。 （英语。俄文原件） Zbl 1485.03106号

代数逻辑 57，第5号，392-396（2018）; 《代数逻辑》57，第5期，601-608（2018）的译文。
MSC公司：03C57 03天45分 03C35号
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Bazhenov}等人，《代数逻辑》57，No.5，392--396（2018；Zbl 1485.03106）；代数逻辑57，No.5，601--608的翻译（2018）
全文： 内政部 链接
北卡罗来纳州巴兹诺夫。;M.I.Marchuk。

素布尔代数的自稳定度。 （英语。俄文原件） Zbl 1485.03107号

代数逻辑 57，第2号，98-114（2018）; 《代数逻辑》57，第2期，149-174（2018）的译文。
MSC公司：03C57 03天45分 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Bazhenov}和\textit{M.I.Marchuk}，代数逻辑57，No.2，98--114（2018；Zbl 1485.03107）；《代数逻辑》57，第2期，149--174（2018）的译文
全文： 内政部
北卡罗来纳州巴兹诺夫。;弗罗洛夫，A.N。;卡里穆林，I.Sh。;A.G.梅尔尼科夫。

分配格的可计算性。 （英语。俄文原件） Zbl 1469.03121号

同胞。数学。J。 58，第6号，959-970（2017）; 来自Sib的翻译。材料Zh。58，第6期，1236-1251（2017）。
MSC公司：03天45分 03C57
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Bazhenov}等人，Sib。数学。J.58，第6号，959--970（2017；Zbl 1469.03121）；来自Sib的翻译。材料Zh。58，第6号，1236--1251（2017）
全文： 内政部
尼古拉·巴热诺夫

关于线性序的有效范畴的注记。 （英语） Zbl 1459.03045号

Gopal，T.V.（编辑）等人，《计算模型的理论和应用》。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10185, 85-96 (2017).
MSC公司：03C57 03天45分 03C35号 06年05月
PDF格式BibTeX公司 XML格式引用
\textit{N.Bazhenov}，莱克特。注释计算。科学。10185，85-96（2017；Zbl 1459.03045）
全文： 内政部
丹尼斯·赫希费尔特。

计算数学中的一些问题。 （英语） 兹比尔1480.03006

Day，Adam（编辑）等人，《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10010, 22-55 (2017).
MSC公司：03B30型 03C57 03年月日
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hirschfeldt}，莱克特。注释计算。科学。10010，22-55（2017；Zbl 1480.03006）
全文： 内政部
反向链接： 卫生官员 卫生官员
比克穆哈梅托夫，R.I。

具有可计算自然关系的可计算线性阶的初始段。 （英语。俄文原件） Zbl 1521.03127号

俄罗斯数学。 60、6号、12-20（2016）; Izv的翻译。维什。乌切布。扎韦德。，材料2016，第6期，15-26（2016）。
MSC公司：03天45分 06年05月
PDF格式BibTeX公司 XML格式引用
\textit{R.I.Bikmukhametov}，俄罗斯数学。60、第6号、第12--20号（2016；Zbl 1521.03127）；Izv的翻译。维什。乌切布。扎韦德。，材料2016，编号6，15-26（2016）
全文： 内政部
约翰逊，J。;J.F.奈特。;奥卡西奥，V。;托苏波夫，J。;VanDenDriessche，S。

保持关系的明确性和复杂性。 （英语。俄文原件） 兹比尔1337.03065

代数逻辑 54，第2期，140-154（2015）; 摘自《代数逻辑》54，第2期，212-235（2015）。
MSC公司：03D60年 03C57 03C35号 03天45分
PDF格式BibTeX公司 XML格式引用
\textit{J.Johnson}等人，《代数逻辑》54，第2期，140-154（2015；Zbl 1337.03065）；《代数逻辑》54的译文，第2期，第212--235页（2015）
全文： 内政部
帕尔库诺夫，D.E。;特罗菲莫夫。;特尔科，A.I。

关于具有杰出理想的布尔代数的强构造的自稳定性。 （英语。俄文原件） Zbl 1347.03070号

同胞。数学。J。 56，第3期，490-498（2015）; 来自Sib的翻译。材料Zh。56，第3期，617-628（2015）。
MSC公司：03C57 03元50分 05年3月 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{D.E.Pal’chunov}等人，Sib。数学。J.56，第3号，490-498（2015；兹bl 1347.03070）；来自Sib的翻译。材料Zh。56，第3号，617--628（2015）
全文： 内政部
丹尼斯·赫希费尔特。;肯·克莱默;罗素·米勒;亚历山德拉·施拉彭托克

可计算代数字段的分类属性。 （英语） Zbl 1347.03082号

事务处理。美国数学。Soc公司。 367，第6号，3981-4017（2015）。
审核人：安德烈·莫罗佐夫（新西伯利亚）
MSC公司：03天45分 03C57 03C35号 12升12
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hirschfeldt}等人，翻译。美国数学。Soc.367，No.6，3981--4017（2015；Zbl 1347.03082）
全文： 内政部 arXiv公司
北卡罗来纳州巴兹诺夫。

2-具有可分辨自同构的布尔代数的可计算可数范畴度。 （俄语、英语） Zbl 1349.03042号

维斯特。新西卜。天哪。州立大学。马特·梅赫。通知。 14，第1期，19-27（2014）; J.Math中的翻译。科学。，纽约211，No.6，738-746（2015）。
MSC公司：03D25号 03天45分 03C35号
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Bazhenov}，韦斯特恩。新西卜。天哪。州立大学。马特·梅赫。通知。14、第1号、第19--27号（2014；Zbl 1349.03042）；J.Math中的翻译。科学。，纽约211，No.6，738--746（2015）
全文： 内政部
北卡罗来纳州巴兹诺夫。;Tukhbatullina，R.R。

具有可分辨自同构的布尔代数\（\mathfrak｛B｝（\omega）\）的可计算范畴。 （英语。俄文原件） Zbl 1315.03053号

代数逻辑 52，第2期，89-97（2013）; 摘自《代数逻辑》52，第2期，131-144（2013）。
MSC公司：03C57 03C35号 03D25号 06E25年
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Bazhenov}和\textit{R.R.Tukhbatullina}，代数逻辑52，No.2，89--97（2013；Zbl 1315.03053）；翻译自代数罗技52，第2期，131-144（2013）
全文： 内政部
阿莱夫，体育。

可计算布尔代数的自稳定原子-理想充实。 （英语。俄文原件） Zbl 1198.03037号

多克。数学。 82，第1期，528-530（2010）; 翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 433，No.2，151-153（2010）。
MSC公司：03C57
PDF格式BibTeX公司 XML格式引用
\textit{P.E.Alaev}，Dokl。数学。82，No.1，528--530（2010；Zbl 1198.03037）；翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 433，No.2，151--153（2010年）
全文： 内政部
亚历山大·梅尔尼科夫。

\（\mathbf 0''）-范畴完全可分解无扭阿贝尔群。 （英语） Zbl 1268.03042号

Ambos-Spies，Klaus（编辑）等人，《数学理论与计算实践》。2009年7月19日至24日，德国海德堡，第五届欧洲可计算性会议，CiE 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03072-7/pbk）。计算机科学讲座笔记5635362-371（2009）。
MSC公司：03C57 03C35号 20公里15 20K20码
PDF格式BibTeX公司 XML格式引用
\发短信{A.G.Melnikov}，勒克特。注释计算。科学。5635、362--371（2009年；Zbl 1268.03042）
全文： 内政部
丹尼斯·赫希费尔特。;巴哈迪尔·库萨诺夫;理查德·肖尔（Richard A.Shore）。;阿卡迪·M·斯林科。

代数结构中的度谱和可计算维数。 （英语） Zbl 1016.03034号

Ann.纯粹应用。逻辑 115，编号1-3，71-113（2002）。
审核人：安德烈·莫罗佐夫（新西伯利亚）
MSC公司：03C57 03天45分
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Hirschfeldt}等人，Ann.Pure Appl。逻辑115，编号1--3，71-113（2002；Zbl 1016.03034）
全文： 内政部
新墨西哥州科加巴耶夫。

具有可分辨理想的布尔代数的自稳定性。 （英语。俄文原件） Zbl 0913.06011号

同胞。数学。J。 39，第5期，927-935（1998）; 来自Sib的翻译。材料Zh。39，第5期，1074-1084（1998）。
审核人：A.N.里亚斯金（新西伯利亚）
MSC公司：06E25年 03C57 03天45分
PDF格式BibTeX公司 XML格式引用
\textit{N.T.Kogabaev}，锡伯。数学。J.39，第5号，1074--1084（1998；Zbl 0913.06011）；来自Sib的翻译。材料Zh。39，第5号，1074--1084（1998）
全文： 内政部
道格拉斯·森泽;杰弗里·雷梅尔（Jeffrey B.Remmel）。

可行的分类模型。 （英语） Zbl 07776727号

Daniel Leivant（编辑），《逻辑和计算复杂性》。国际研讨会，LCC'94，美国印第安纳州印第安纳波利斯，1994年10月13日至16日。精选论文。柏林：Springer-Verlag。莱克特。注释计算。科学。960, 300-312 (1995).
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{D.Cenzer}和\textit{J.B.Remmel}，莱克特。注释计算。科学。960300-312（1995年；兹bl 07776727）
全文： 内政部
于文佐夫（Yu Ventsov）。G.公司。

规则无限算法维的构造模型。 （英语。俄文原件） Zbl 0832.03022号

代数逻辑 33，第2期，79-84（1994）; 翻译自《代数逻辑》33，第2期，135-146（1994）。
审核人：A.里亚斯金（新西伯利亚）
MSC公司：03C57
PDF格式BibTeX公司 XML格式引用
\textit{Yu.G.Ventsov}，代数逻辑33，No.2，135--146（1994；Zbl 0832.03022）；《代数逻辑学》第33卷第2期第135-146页（1994年）的译文
全文： 内政部
于文佐夫（Yu Ventsov）。G.公司。

无限算法维模型的可计算构造类。 （英语。俄文原件） Zbl 0832.03021号

代数逻辑 33，第1期，22-45页（1994年）; 翻译自代数罗技33，第1期，37-75（1994）。
审核人：A.里亚斯金（新西伯利亚）
MSC公司：03C57
PDF格式BibTeX公司 XML格式引用
\textit｛Yu.G.Ventsov｝，代数逻辑33，编号1，37-75（1994；Zbl 0832.03021）；《代数逻辑学》第33卷第1期第37-75页（1994年）的译文
全文： 内政部
Goncharov，S.S。

模型弱构造的有效无穷类。 （英语。俄文原件） Zbl 0824.03013号

代数逻辑 32，第6期，342-360（1993）; 《代数逻辑学》32，第6期，631-664（1993）的译文。
审核人：A.S.莫罗佐夫（新西伯利亚）
MSC公司：03C57 03天45分
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Goncharov}，代数逻辑32，No.6，631--664（1993；Zbl 0824.03013）；《代数逻辑学》第32卷第6期第631-664页（1993）的译文
全文： 内政部
Goncharov，S.S。

有限可构造类型模型的可计算构造类。 （英语。俄文原件） Zbl 0860.03032号

同胞。数学。J。 34，编号5，812-824（1993）; 来自Sib的翻译。材料Zh。34，第5期，23-37（1993年）。
审核人：A.Ivanov（MR 94m:03058）
MSC公司：03C57
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Goncharov}，西布。数学。J.34，No.5，812--824（1993；Zbl 0860.03032）；来自Sib的翻译。材料Zh。34，第5号，23--37（1993）
全文： 内政部
普宁斯基，G.E。

交换赋值环上的超可分解纯内射模。 （英语。俄文原件） Zbl 0810.13008号

代数逻辑 31，第6期，377-386（1992）; 翻译自《代数逻辑》31，第6期，655-671（1992）。
审核人：Th.Kucera（温尼伯）
MSC公司：13C11号机组 13楼30 03C60型 13升05
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Puninskij}，《代数逻辑》31，第6期，第1页（1992；Zbl 0810.13008）；《代数逻辑学》第31卷第6期第655--671页（1992年）的译文
全文： 内政部 欧洲DML
新墨西哥州11月。

具有单位的单合成代数的半正交和。 （英语。俄文原件） Zbl 0799.17003号

代数逻辑 31，第4期，235-245（1992）; 《代数逻辑》第31卷第4期第391-406页（1992年）的译文。
审核人：V.A.Artamonov（莫斯科）
MSC公司：17A75号
PDF格式BibTeX公司 XML格式引用
\textit{A.T.Gaĭnov}，代数逻辑31，No.4，1（1992；Zbl 0799.17003）；《代数逻辑学》31，第4期，391--406（1992）的译文
全文： 内政部
贝利亚耶夫，V.V。

无限交错群和李型群的局部特征。 （英语。俄文原件） Zbl 0816.20029号

代数逻辑 31，第4期，221-235（1992）; 《代数逻辑学》31，第4期，369-390（1992）的译文。
审核人：S.A.Syskin（法兰克福）
MSC公司：20E32年 20E07年 20E25型 20英尺50英寸 20B10型
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Belyaev}，代数逻辑31，No.4，1（1992；Zbl 0816.20029）；《代数逻辑学》第31卷第4期第369--390页（1992年）的译文
全文： 内政部
贝利亚耶夫，V.V。

局部有限单群是两个惰性子群的乘积。 （英语。俄文原件） Zbl 0811.20041号

代数逻辑 31，第4期，216-221（1992）; 《代数逻辑学》第31卷第4期第360-368页（1992年）的译文。
审核人：B.Amberg（美因茨）
MSC公司：20英尺50英寸 20E22型 20E32年 20E25型 20E07年
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Belyaev}，代数逻辑31，No.4，1（1992；Zbl 0811.20041）；《代数逻辑学》第31卷第4期第360-368页（1992年）的译文
全文： 内政部
O.V.波哥波尔斯基。

具有M.Hall属性的有限生成组。 （英语。俄文原件） Zbl 0836.20026号

代数逻辑 31，第3期，141-169（1992）; 《代数逻辑》第31卷第3期第227-275页（1992年）的译文。
审核人：R.G.伯恩斯（Downview）
MSC公司：20E06年 20E05年 2010年1月20日 20E07年 20F05型 20楼34
PDF格式BibTeX公司 XML格式引用
\textit{O.V.Bogopol'skij}，代数逻辑31，第3期，第1期（1992；Zbl 0836.20026）；《代数逻辑学》第31卷第3期第227--275页的译文（1992年）
全文： 内政部
于文佐夫（Yu Ventsov）。G.公司。

在构造模型和正模型类中有效选择关系和可约性。 （英语。俄文原件） Zbl 0814.03030号

代数逻辑 第2期第31页，第63-73页（1992年）; 《代数逻辑学》第31卷第2期第101-118页（1992年）的译文。
审核人：A.里亚斯金（新西伯利亚）
MSC公司：03C57 03天45分
PDF格式BibTeX公司 XML格式引用
\textit{Yu.G.Ventsov}，代数逻辑31，No.2，1（1992；Zbl 0814.03030）；《代数逻辑学》第31卷第2期第101-118页的译文（1992年）
全文： 内政部 欧洲DML
于文佐夫（Yu Ventsov）。G.公司。

构造模型上问题的构造化和递归一致性的有效选择。 （英语。俄文原件） Zbl 0790.03038号

代数逻辑 31，第1期，第1-12页（1992年）; 《代数逻辑学》31，第1期，3-20（1992）的译文。
审核人：A.里亚斯金（新西伯利亚）
MSC公司：03C57 03天45分
PDF格式BibTeX公司 XML格式引用
\textit{Yu.G.Ventsov}，代数逻辑31，No.1，1--12（1992；Zbl 0790.03038）；《代数逻辑学》31，No.1，3--20（1992）的翻译
全文： 内政部 欧洲DML
Goncharov，S.S。;诺维科夫，A.A。

非自动稳定系统的示例。 （英语。俄文原件） Zbl 0595.03031号

同胞。数学。J。 25, 538-545 (1984); 来自Sib的翻译。材料Zh。25，第4期（146），37-45（1984）。
审核人：R.科萨克
MSC公司：03C57 03天45分
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}和\textit{A.A.Novikov}，Sib。数学。J.25，538--545（1984；Zbl 0595.03031）；来自Sib的翻译。材料Zh。25，第4号（146），37-45（1984）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件