D.E.帕尔丘诺夫。 主题领域的模型理论。二、。 (英语。俄文原件) Zbl 1515.03180号 代数逻辑 61,第4号,341-347(2022); 《代数逻辑学》第61卷第4期第500-510页(2022年)的译文。MSC公司:03C98号 03C65号 06B35号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Palchunov},《代数逻辑61》,第4期,第341-347页(2022年;Zbl 1515.03180);代数逻辑61,No.4,500--510(2022)的翻译 全文: 内政部
D.E.帕尔丘诺夫。 主题领域的模型理论。一、。 (英语。俄文原件) Zbl 1515.03179号 代数逻辑 61,第2期,166-173(2022); 《代数逻辑》第61卷第2期第239-250页(2022年)的译文。MSC公司:03C98号 03C65号 06B35号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Palchunov},代数逻辑61,No.2,166--173(2022;Zbl 1515.03179);代数逻辑学61,No.2,239--250(2022)的翻译 全文: 内政部
里巴科夫,V.V。 具有动态可访问关系、投影统一器的多智能体逻辑。 (英语。俄文原件) Zbl 1515.03146号 代数逻辑 61,编号1,79-83(2022); 《代数逻辑学》第61卷第1期第111-118页(2022年)的译文。MSC公司:03B70号 03B44号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},代数逻辑61,No.1,79--83(2022;Zbl 1515.03146);代数逻辑学61,No.1,111--118(2022)的翻译 全文: 内政部
S.M.杜达科夫。;B.N.卡洛夫。;库兹涅佐夫。;Fofanova,E.M。 Lambek演算与形式的复杂性以及语法中的完全可导性。 (英语。俄文原件) Zbl 1515.03218号 代数逻辑 60,第5号,308-326(2021); 《代数逻辑60》第4期第471-496页(2021年)的译文。MSC公司:03楼52 05年3月 2017年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Dudakov}等人,代数逻辑60,No.5,308--326(2021;Zbl 1515.03218);《代数逻辑60》第4期471--496(2021)的译文 全文: 内政部
里巴科夫,V.V。 多智能体时间非传递线性逻辑与可容许性问题。 (英语。俄文原件) 兹比尔1484.03031 代数逻辑 59,第1号,87-100(2020年); 《代数逻辑学》59,第1期,第123-141页(2020年)的译文。MSC公司:03B44号 第68页第27页 03B47号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov},《代数逻辑》59,第1期,87--100(2020;Zbl 1484.03031);《代数逻辑》59,第1期,第123--141页(2020年)的译文 全文: 内政部 链接
A.V.加兰特科。;潘克雷特·埃夫(A.E.Pankrat’ev)。;罗丹,S.B。 素数阶多项式完备拟群。 (英语。俄文原件) Zbl 1414.20023号 代数逻辑 第57327-335号(2018); 《代数逻辑》57,第5期,509-521(2018)的译文。 审核人:劳尔·法尔科恩(塞维利亚) MSC公司:20号05 05B15号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Galatentko}等人,《代数逻辑》57,No.5,327--335(2018;Zbl 1414.20023);《代数逻辑》57,No.5,509-521(2018)的译文 全文: 内政部
科普克,P。;莫罗佐夫,A.S。 无限时间Blum-Shub-Smale机器的计算能力。 (英语。俄文原件) Zbl 1420.03111号 代数逻辑 56,第1号,37-62(2017); 摘自《代数逻辑》56,第1期,55-92(2017)。MSC公司:03D78号 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Koepke}和\textit{A.S.Morozov},代数逻辑56,No.1,37--62(2017;Zbl 1420.03111);《代数逻辑学》第56卷第1期、第55-92页(2017年)的译文 全文: 内政部
杰拉西莫夫。 勘误表:“模糊不等式逻辑的自由变量语义表”。 (英语) 兹比尔1402.03034 代数逻辑 55、3号、256(2016)。MSC公司:03B52型 03财年03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gerasimov},代数逻辑55,No.3,256(2016;Zbl 1402.03034) 全文: 内政部
瓦卡列洛夫,D。 动态mereopology。三: 怀特海式的空间和时间的综合无点理论。三、。 (英语。俄文原件) Zbl 1396.03073号 代数逻辑 55,第3期,181-197(2016); 摘自《代数逻辑》55,第3期,273-299(2016)。MSC公司:03B60号 03B30型 03G25号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},代数逻辑55,第3期,181--197(2016;Zbl 1396.03073);翻译自代数罗技55,第3期,第273-299页(2016) 全文: 内政部
亚历山大·杰拉西莫夫。 模糊不等式逻辑的自由变量语义表。 (英语。俄文原件) Zbl 1386.03025号 代数逻辑 55,第2期,103-127(2016); 《代数逻辑学》第55卷第2期第156-191页(2016)的译文;勘误表同上,55,No.3,256(2016)。MSC公司:03B52型 03财年03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gerasimov},《代数逻辑》55,第2期,103-127(2016;Zbl 1386.03025);《代数逻辑学》55,第2期,156--191(2016)的译文;勘误表同上55,No.3,256(2016) 全文: 内政部
瓦卡列洛夫,D。 动态mereotopology。三: 怀特海式的空间和时间的综合无点理论。二、。 (英语。俄文原件) Zbl 1396.03072号 代数逻辑 55,第1号,9-23(2016); 摘自《代数逻辑》55,第1期,14-36(2016)。MSC公司:03B60号 03B30型 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},代数逻辑55,No.1,9--23(2016;Zbl 1396.03072);翻译自代数罗技55,第1期,第14-36期(2016) 全文: 内政部
瓦卡列洛夫,D。 动态mereotopology。三: 怀特海式的空间和时间的综合无点理论。一、。 (英语。俄文原件) Zbl 1323.03032号 代数逻辑 53,第3期,191-205(2014); 摘自《代数逻辑》53,第3期,300-322(2014)。MSC公司:03B60号 03B30型 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},《代数逻辑》53,第3期,191--205(2014;Zbl 1323.03032);《代数逻辑》53的译文,第3期,300-322(2014) 全文: 内政部
科诺瓦洛夫,A.S。;Selivanov,V.L。 正则语言的布尔代数。 (英语。俄文原件) Zbl 1312.68119号 代数逻辑 52,第6号,448-470(2014); 摘自《代数逻辑》52,第6期,676-711(2013)。MSC公司:65年第68季度 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Konovalov}和\textit{V.L.Selivanov},代数逻辑52,No.6,448--470(2014;Zbl 1312.68119);《代数逻辑》52的译文,第6期,第676--711页(2013) 全文: 内政部
S.O.斯佩兰斯基。 折叠概率层次结构。一、。 (英语。俄文原件) 兹伯利1315.03033 代数逻辑 52,第2期,159-171(2013); 摘自《代数逻辑》52,第2期,236-254(2013)。MSC公司:03B48号 03C62号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Speranskii},代数逻辑52,No.2,159--171(2013;Zbl 1315.03033);摘自《代数逻辑》52,第2期,236--254(2013) 全文: 内政部
凯梅尔,K。 有序紧空间上(子)概率幂域单子的抽象有序紧凸集和代数。 (英语。俄文原件) Zbl 1276.54041号 代数逻辑 48,第5期,330-343(2009); 摘自《代数逻辑》48,第5期,580-605(2009)。MSC公司:54小时99 54个F05 54立方厘米 68问题55 18 C50 46A40型 18B30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Keimel},代数逻辑48,第5期,330-343(2009;Zbl 1276.54041);摘自《代数逻辑》48,第5期,580--605(2009) 全文: 内政部
加诺娃,R.V。 二进制预言的广义计算。 (英语。俄文原件) Zbl 0852.03014号 代数逻辑 32,第5期,257-266(1993); 《代数逻辑学》32、5、5、479-496(1993)的译本。 审核人:钱磊(南京) MSC公司:03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Ganova},代数逻辑32,No.5,479--496(1993;Zbl 0852.03014);《代数逻辑》32、5、5、479--496(1993)的译本 全文: 内政部
I.V.阿沙耶夫。;Belyaev,V.Ya。;A.G.米亚斯尼科夫。 走向广义可计算性理论。 (英语。俄文原件) Zbl 0829.03023号 代数逻辑 32,第4期,183-205(1993); 翻译自《代数逻辑》32,第4期,349-386(1993)。 审核人:A.V.阿尼西莫夫(基辅) MSC公司:03日第10天 03D20日 2005年第68季度 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Ashaev}等人,《代数逻辑》32,第4期,349--386(1993;Zbl 0829.03023);《代数逻辑学》32,第4期,349-386(1993)的翻译 全文: 内政部
新罕布什尔州卡西莫夫。 正代数中\(Q\)-同余的个数。 (英语。俄文原件) Zbl 0795.03046号 代数逻辑 31,第3期,182-187(1992); 《代数逻辑学》31,第3期,297-305(1992)的译文。MSC公司:03C57 03天45分 68N17号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{N.Kh.Kasymov},《代数逻辑》31,第3期,第1页(1992;Zbl 0795.03046);《代数逻辑学》第31卷第3期第297--305页的译文(1992年) 全文: 内政部
新罕布什尔州卡西莫夫。 负代数上的同态。 (英语。俄文原件) Zbl 0795.03045号 代数逻辑 31,No.2,81-89(1992); 《代数逻辑》第31卷第2期第132-144页(1992年)的译文。MSC公司:03C57 03天45分 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{N.Kh.Kasymov},《代数逻辑》31,第2期,第1期(1992;Zbl 0795.03045);《代数逻辑学》第31卷第2期第132--144页(1992年)的译文 全文: 内政部
新罕布什尔州卡西莫夫。 具有有限逼近正可表示丰富的代数。 (英语。俄文原件) Zbl 0672.03031号 代数逻辑 26,第6期,441-450(1987); 《代数逻辑学》第26卷第6期第715-730页(1987年)的译文。MSC公司:03天45分 68第05页 08B20号 03天80 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Kh.Kasymov},代数逻辑26,No.6441--450(1987;Zbl 0672.03031);《代数逻辑学》第26卷第6期第715--730页(1987)的译文 全文: 内政部 欧洲DML
安德列夫,A.E。 一种获得单调复杂度有效下界的方法。 (英语。俄文原件) Zbl 0659.94020号 代数逻辑 26,第1期,第1-18页(1987年); 《代数逻辑学》第26卷第1期第3-26页(1987年)的译文。MSC公司:94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Andreev},《代数逻辑》26,第1期,1-18(1987;Zbl 0659.94020);《代数逻辑学》第26卷第1期、第3--26页(1987)的译文 全文: 内政部
莫罗佐夫,A.S。 Bergstra和Tiuryn提出的一个问题。 (英语。俄文原件) 兹比尔062803018 代数逻辑 25, 357-368 (1986); 摘自《代数逻辑学》25,第5期,566-583(1986)。MSC公司:03C57 03C25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Morozov},代数逻辑25,357--368(1986;Zbl 0628.03018);《代数逻辑学》25,No.5,566--583(1986)的译文 全文: 内政部
Taĭtslin,医学硕士。 自动机相对于交换半群的等价性。 (英语) Zbl 0223.02030 代数逻辑 8(1969), 316-342 (1971)。MSC公司:70年第68季度 2014年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Taĭtslin},代数逻辑8316--342(1971;Zbl 0223.02030) 全文: 内政部
迪科夫斯基,A.Ya。;莫迪纳,L.S。 下推存储自动机和复杂度为3的范畴文法类中复杂性函数的最小化。 (英语。俄文原件) Zbl 0264.68018号 代数逻辑 7(1968), 144-152 (1970); 《代数逻辑》第7卷第3期第23-37页(1968年)的译文。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ya.Dikovskij}和\textit{L.S.Modina},代数逻辑7144-152(1970;Zbl 0264.68018);《代数逻辑》第7卷第3期、第23-37页(1968年)的译文 全文: 内政部 欧洲DML
迪科夫斯基,A.Ya。 关于所有上下文无关语言类与确定性上下文无关语言的类之间的关系。 (英语。俄文原件) Zbl 0242.68045号 代数逻辑 8(1969年),22-33(1970年); 《代数逻辑》第8卷第1期第44-64页(1969年)的译文。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ya.Dikovskij},代数逻辑8,22--33(1970;Zbl 0242.68045);《代数逻辑》第8卷第1期第44-64页(1969年)的译文 全文: 内政部 欧洲DML