×

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

最新的 引文 关联
新墨西哥州科加巴耶夫。

等效于Horn公式问题的复杂性。二、。 （英语。俄文原件） Zbl 1515.03184号

代数逻辑 61，第4号，318-327（2022）; 《代数逻辑学》第61卷第4期第469-482页（2022年）的译文。
MSC公司：2015年3月1日 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛N.T.Kogabaev｝，《代数逻辑61》，第4期，第318-327页（2022；Zbl 1515.03184）；《代数逻辑学》第61卷第4期第469-482页（2022年）的译文
全文： 内政部
加斯科娃，M.N。

布尔代数相对于可判定表示是自动稳定的。 （英语。俄文原件） Zbl 1515.03161号

代数逻辑 61，第4号，301-312（2022）; 《代数逻辑学》第61卷第4期第443-460页（2022年）的译文。
MSC公司：03C57号 03D45号 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Gaskova}，代数逻辑61，No.4，301-312（2022；Zbl 1515.03161）；《代数逻辑学》第61卷第4期第443-460页（2022年）的译文
全文： 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利

中间逻辑的扬科夫公式和公理化技术。 （英语） Zbl 07672616号

Citkin，Alex（ed.）等人，V.A.Yankov关于非经典逻辑、数学历史和哲学。查姆：施普林格。Outst公司。控制日志。24, 71-124 (2022).
MSC公司：03B55号 06D20日 2015年6月
PDF格式BibTeX公司 XML格式引用
\textit{G.Bezhanishvili}和\textit{N.Bezhenishvili{，Outst。控制日志。24、71——124（2022年；Zbl 07672616）
全文： 内政部
M.M.阿尔斯兰诺夫。

一类可约性的完备性准则。 （英语） Zbl 07659051号

罗斯，数学。 66，编号10，62-66（2022）; Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号10，73-78（2022）。
MSC公司：03年月日 03年XX月 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.M.Arslanov}，俄罗斯数学。66，编号10，62-66（2022；Zbl 07659051）；Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号10，73-78（2022）
全文： 内政部
达达扎诺夫，R.N。

负可表示模型的可计算性和普遍可确定性。 （英语） Zbl 07659047号

罗斯，数学。 66，编号10，16-24（2022）; Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号10，22-32（2022）。
MSC公司：03年月日 03Cxx号 08轴
PDF格式BibTeX公司 XML格式引用
\textit{R.N.Dadazhanov}，俄罗斯数学。66号，第10、16-24条（2022年；Zbl 07659047）；Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号10，22-32（2022）
全文： 内政部
米查洛夫斯卡娅，Y.A。;弗罗洛夫，A.N。

可计算的线性顺序和ershov层次结构。 （英语。俄文原件） Zbl 07640111号

罗斯，数学。 66，编号1，71-74（2022）; Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号1，85-89（2022）。
MSC公司：03年月日 03Cxx号 06轴
PDF格式BibTeX公司 XML格式引用
\textit{Y.A.Michailovskaya}和\textit{A.N.Frolov}，俄罗斯数学。66，编号1，71--74（2022；Zbl 07640111）；Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号1，85-89（2022）
全文： 内政部
巴达耶夫，S.A。;Goncharov，S.S。

Ershov层次中元素最少和最多的Rogers半格。 （英语。俄文原件） Zbl 1515.03191号

代数逻辑 61，第3期，225-229（2022）; 《代数逻辑学》第61卷第3期第334-340页（2022年）的译文。
MSC公司：03D45号 03D55号
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Badaev}和\textit{S.S.Goncharov}，代数逻辑61，No.3，225--229（2022；Zbl 1515.03191）；代数逻辑61，No.3，334--340（2022）的翻译
全文： 内政部
Rakymzhankyzy，F。;北卡罗来纳州巴兹诺夫。;Issakhov，A.A。;卡尔穆尔扎耶夫，B.S。

最小广义可计算数和正预序族。 （英语。俄文原件） 兹比尔1515.03193

代数逻辑 61，第3期，188-206（2022）; 《代数逻辑学》第61卷第3期280-307页（2022年）的译文。
MSC公司：03D45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Rakymzhankyzy}等人，代数逻辑61，No.3，188--206（2022；Zbl 1515.03193）；《代数逻辑学》第61卷第3期280-307页（2022年）的译文
全文： 内政部
卡西姆哈努利，B。;莫罗佐夫，A.S。

弱全息结构。 （英语。俄文原件） Zbl 07637844号

同胞。数学。J。 第6号第63页，1091-1101页（2022）; 来自Sib的翻译。材料Zh。63，第6期，1276-1289（2022）。
MSC公司：03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{B.Kasymkhanuly}和\textit{A.S.Morozov}，Sib。数学。J.63，No.6，1091--1101（2022；Zbl 07637844）；来自Sib的翻译。材料Zh。63，第6号，1276--1289（2022）
全文： 内政部
马尔琴科夫，S.S。

多值逻辑中的隐式表达。 （英语。俄文原件） 兹伯利07626310

莫斯克。大学计算机。数学。赛博。 46，第3期，149-155（2022）; 由Vestn翻译。莫斯科。州立大学。XV 2022，第3期，55-64（2022）。
MSC公司：03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Marchenkov}，莫斯克。大学计算机。数学。赛博。46，编号3，149--155（2022；Zbl 07626310）；由Vestn翻译。莫斯科。州立大学。XV 2022，编号3，55--64（2022）
全文： 内政部
蒂莫申科，E.I。

由图构造的群签名公式。 （英语。俄文原件） Zbl 1522.20104号

代数逻辑 61，第2期，139-152（2022）; 《代数逻辑》61，第2期，201-219（2022）的译文。
审核人：恩里科·贾巴拉（威尼斯）
MSC公司：20E10年 2010年1月20日 05C25号 2019年1月20日 03C60型
PDF格式BibTeX公司 XML格式引用
\textit｛E.I.Timoshenko｝，代数逻辑61，第2期，139-152（2022；Zbl 1522.20104）；《代数逻辑学》第61卷第2期第201-219页（2022年）的译文
全文： 内政部
谢尔盖·马尔琴科夫。;瓦西里·普罗斯托夫。

三值逻辑中枚举闭包算子的完备性准则。 （英语。俄文原件） Zbl 1529.03176号

离散数学。申请。 32，编号2，105-114（2022）; 从Diskretn翻译。材料33，编号2，86-99（2021）。
MSC公司：03B50号 2015年1月5日
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Marchenkov}和\textit{V.A.Prostov}，离散数学。申请。32，第2号，第105-114条（2022年；Zbl 1529.03176）；从Diskretn翻译。材料33，编号2，86--99（2021）
全文： 内政部
蒂莫申科，E.I。

关于部分交换群和相关的交换代数。 （英语。俄文原件） Zbl 1516.20004号

同胞。数学。J。 63，第5期，967-973（2022）; 来自Sib的翻译。材料Zh。63，第5期，1150-1157（2022）。
审核人：恩里科·贾巴拉（威尼斯）
MSC公司：20甲15 20E10年 2018年1月20日 03C60型
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Timoshenko}，锡伯。数学。J.63，第5号，967--973（2022；Zbl 1516.20004）；来自Sib的翻译。材料Zh。第51150-1157号第63页（2022年）
全文： 内政部
新罕布什尔州卡西莫夫。;伊布拉基莫夫，F.N。

可计算的可分离模型。 （英语。俄文原件） Zbl 1531.03080号

数学杂志。科学。，纽约 264，第6号，746-767（2022）; 来自Soverem的翻译。Fundam材料。拿破仑。64，第4期，682-705（2018）。
MSC公司：03D45号 03C57号 03C15号
PDF格式BibTeX公司 XML格式引用
\textit{N.Kh.Kasymov}和\textit{F.N.Ibragimov}，J.Math。科学。，纽约264，No.6，746--767（2022；Zbl 1531.03080）；来自Soverem的翻译。Fundam材料。拿破仑。64，第4号，682--705（2018）
全文： 内政部
卡尔穆尔扎耶夫，B.S。;北卡罗来纳州巴兹诺夫。;医学硕士托雷贝科娃。

正预订类别的索引集。 （英语。俄文原件） Zbl 1515.03186号

代数逻辑 61，第1期，第30-53页（2022年）; 《代数逻辑学》第61卷第1期第42-76页（2022年）的译文。
MSC公司：03D25号 03D45号
PDF格式BibTeX公司 XML格式引用
\textit{B.S.Kalmurzayev}等人，代数逻辑61，No.1，30-53（2022；Zbl 1515.03186）；《代数逻辑》61，No.1，42--76（2022）的译文
全文： 内政部
道格拉斯·森泽;理查德·克罗格曼

FST注入结构的同构问题。 （英语） Zbl 07551709号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13137, 25-36 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛D.Cenzer｝和\textit｛R.Krogman｝，Lect。注释计算。科学。13137，25-36（2022；Zbl 07551709）
全文： 内政部
阿拉夫，P.E。;Selivanov，V.L。

可在多项式时间内计算的代数数字段。二、。 （英语。俄文原件） Zbl 1515.03158号

代数逻辑 60，第6号，349-359（2022）; 《代数逻辑60》第6期第533-548页（2021年）的译文。
MSC公司：03C57号 03D45号 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年）的译文
全文： 内政部
达达扎诺夫，R.N。;新罕布什尔州卡西莫夫。;Khodzhamuratova，印度。

具有有效可分裂的负同余族的一致可计算可分代数。 （英语。俄文原件） Zbl 1509.03131号

同胞。数学。J。 63，第3号，466-475（2022）; 来自Sib的翻译。材料Zh。63，第3期，562-575（2022年）。
MSC公司：03D45号 03C57号
PDF格式BibTeX公司 XML格式引用
\textit{R.N.Dadazhanov}等人，Sib。数学。J.63，No.3，466--475（2022；Zbl 1509.03131）；来自Sib的翻译。材料Zh。63，第3号，562--575（2022）
全文： 内政部
马克西莫娃，L.L。;Yun，V.F。

识别模态逻辑S4上受限插值的算法。 （英语。俄文原件） Zbl 1530.03081号

同胞。数学。J。 63，第2期，286-298（2022）; 来自Sib的翻译。材料Zh。63，第2期，344-359（2022年）。
MSC公司：03B45
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.63，No.2，286--298（2022；Zbl 1530.03081）；来自Sib的翻译。材料Zh。63，第2号，344-359（2022）
全文： 内政部
迪米特·瓦卡雷洛夫

具有实际存在谓词的动态接触代数：快照表示和拓扑对偶。 （英语） Zbl 1511.03004号

Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：施普林格。Outst公司。控制日志。22, 411-475 (2022).
审核人：Hirokazu Nishimura（筑波）
MSC公司：03B44号 03G25号 08A02号 18A23型 54D10号 54天30分 54甲10
PDF格式BibTeX公司 XML格式引用
\textit{D.Vakarelov}，出局。控制日志。22411--475（2022；Zbl 1511.03004）
全文： 内政部
新南威尔士州罗曼诺夫斯基。

普遍等价于可解Baumslag孤立子群的群。 （英语。俄文原件） Zbl 07466393号

同胞。数学。J。 63，编号1，163-166（2022）; 来自Sib的翻译。材料Zh。63，第1期，197-201（2022）。
MSC公司：20传真 20埃克斯 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{N.S.Romanovskii}，锡伯。数学。J.63，No.1，163--166（2022；Zbl 07466393）；来自Sib的翻译。材料Zh。63，第1号，197--201（2022）
全文： 内政部
尼古拉·巴热诺夫;迪诺·罗塞格;马克西姆·祖布科夫

关于代数结构的双嵌入范畴。 （英语） Zbl 1505.03080号

Ann.纯粹应用。逻辑 173，第3号，文章ID 103060，第18页（2022）.
审核人：安德烈·莫罗佐夫（新西伯利亚）
MSC公司：03C57号 03D45号 06年05月 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{N.Bazhenov}等人，Ann.Pure Appl。逻辑173，第3号，文章ID 103060，18页（2022；Zbl 1505.03080）
全文： 内政部 arXiv公司
OA许可证

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段