×

找到1213个文档（结果1-100）

最新的 引文 关联
Faizrahmanov，M.Kh。

具有单个最小但并非最小编号的族。 （英语。俄文原件） Zbl 07825253号

同胞。数学。J。 65，编号2，381-391（2024）; 来自Sib的翻译。材料Zh。第65页，第2期，第394-406页（2024年）。
MSC公司：03年月日 03年XX月 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kh.Faizrahmanov}，西布。数学。J.65，No.2，381--391（2024；Zbl 07825253）；来自Sib的翻译。材料Zh。65，第2号，394--406（2024）
全文： 内政部
马克西莫娃，L.L。;云，V.F。

表前逻辑中Craig的插值性质。 （英语。俄文原件） Zbl 07825250号

同胞。数学。J。 65，编号2，344-350（2024）; 来自Sib的翻译。材料Zh。65，第2期，349-357（2024年）。
MSC公司：03Bxx号 03Cxx号 03Fxx公司
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.65，No.2，344--350（2024；Zbl 07825250）；来自Sib的翻译。材料Zh。65，编号2，349--357（2024）
全文： 内政部
库尔佩绍夫，B.Sh。

具有平凡可定义闭包的弱循环极小理论的二元公式代数。 （英语。俄文原件） Zbl 07825248号

同胞。数学。J。 65，编号2，316-327（2024）; 来自Sib的翻译。材料Zh。65，第2期，318-331页（2024年）。
MSC公司：03Cxx号 20亿 20-XX年
PDF格式BibTeX公司 XML格式引用
\textit{B.Sh.Kulpeshov}，西布。数学。J.65，No.2，316-327（2024；Zbl 07825248）；来自Sib的翻译。材料Zh。65，编号2，318--331（2024）
全文： 内政部
新罕布什尔州卡西莫夫。;达达扎诺夫，R.N。;伊布拉基莫夫，F.N。

经典系统的可分离算法表示及其应用。 （英语。俄文原件） Zbl 07803125号

数学杂志。科学。，纽约 278，第3号，476-519（2024）; 来自Soverem的翻译。Fundam材料。拿破仑。67，第4期，707-754（2022年）。
MSC公司：03年月日 03Cxx号 08轴
PDF格式BibTeX公司 XML格式引用
\textit{N.Kh.Kasymov}等人，《数学杂志》。科学。，纽约278，No.3，476--519（2024；Zbl 07803125）；来自Soverem的翻译。Fundam材料。拿破仑。67，第4号，707--754（2022）
全文： 内政部
A.Yu Konovalov。

基本谓词演算相对于严格原始递归可实现性的修改版本来说是合理的。 （英语。俄文原件） Zbl 07820497号

数学。笔记 114，编号6，1260-1276（2023）; 翻译自Mat.Zametki 114，No.6，827-847（2023）。
MSC公司：03Fxx公司 03Bxx号 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Konovalov}，数学。附注114，第6号，1260--1276（2023；Zbl 07820497）；翻译自Mat.Zametki 114，No.6，827--847（2023）
全文： 内政部
斯蒂芬诺娃，A.A。;Efremov，E.L。

次直不可约类的公理化性作用于交换幺半群。 （英语。俄文原件） 兹伯利07809058

代数逻辑 62，第2期，179-200（2023）; 《代数逻辑学》62，第2期，266-296（2023）的译文。
MSC公司：03C60型 2014年11月20日 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Stepanova}和\textit{E.L.Efremov}，代数逻辑62，No.2，179--200（2023；Zbl 07809058）；《代数逻辑》第62卷第2期第266--296页（2023年）的译文
全文： 内政部
Kirsten Eisenträger;罗素·米勒;卡莱布·斯普林格;琳达·韦斯特里克

用拓扑方法研究\（mathbb{Q}\）的代数扩张中的不可失性。 （英语） 兹伯利07808886

牛市。赛姆布。日志。 29，第4期，626-655（2023年）.
MSC公司：03C57号 12升05 2005年11月 03C40号 03D45号
PDF格式BibTeX公司 XML格式引用
\textit｛K.Eisenträger｝等人，公牛。赛姆布。日志。29，第4号，626--655（2023；Zbl 07808886）
全文： 内政部 arXiv公司
OA许可证
瓦莱里·杜内夫（Valeri Durnev，Georgievich）;阿莱娜·伊格列夫娜·泽特基纳

任意群的正理论的可解性问题在算法上是无法解决的。 （俄语。英文摘要） Zbl 07804914号

切比雪夫斯基。 24，编号1（87），40-49（2023）.
审核人：亚历山大·伊万诺维奇·巴金（巴诺）
MSC公司：2010年1月20日 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Durnev}和\textit{A.I.Zetkina}，切比雪夫斯基[24，第1号（87），40-49（2023；Zbl 07804914）
全文： 内政部 MNR公司
弗拉迪斯拉夫奥列霍夫斯基;维克托·塞利瓦诺夫

常规语言上的逻辑与拓扑。 （英语） Zbl 07787577号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 141-153 (2023).
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{V.Orekhovskii}和\textit{V.Selivanov}，莱克特。注释计算。科学。13967、141--153（2023年；Zbl 07787577）
全文： 内政部
库尔普肖夫，Beĭbut Sha \301；ykovich;谢尔盖·弗拉基米洛维奇·苏多普拉托夫

理论常数展开族的秩、谱及其动力学。 （英语） 兹伯利07762886

伊兹夫。伊尔库茨克。天哪。州立大学。材料。 45, 121-137 (2023).
MSC公司：03C68号 03C64号
PDF格式BibTeX公司 XML格式引用
\textit{B.S.Kulpeshov}和\textit{S.V.Sudoplatov}，Izv。伊尔库茨克。天哪。州立大学。材料45，121--137（2023；Zbl 07762886）
全文： 内政部 链接
OA许可证
Faizrahmanov，M.Kh。

关于最小广义可计算数的两个定理。 （英语。俄文原件） Zbl 1532.03064号

莫斯克。大学数学。牛市。 78，编号3，136-143（2023）; 由Vestn翻译。莫斯科。州立大学。I 78，编号3，28-35（2023）。
MSC公司：03D45号 03D25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kh.Faizrahmanov}，莫斯克。大学数学。牛市。78，编号3，136--143（2023；Zbl 1532.03064）；由Vestn翻译。莫斯科。州立大学。I 78，编号3，28-35（2023）
全文： 内政部
S.O.斯佩兰斯基。

量化概率逻辑的基本不变量。 （英语。俄文原件） Zbl 07735226号

多克。数学。 107，编号2，93-96（2023）; 翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。510，8-12（2023年）。
MSC公司：03Bxx号 03年月日 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{S.O.Speranski}，Dokl。数学。107，编号2，93-96（2023；Zbl 07735226）；翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。510, 8--12 (2023)
全文： 内政部
Faizrahmanov，M.Kh。

将第一个非结构化序数嵌入到算术集族的罗杰斯半格中。 （英语。俄文原件） Zbl 07729651号

同胞。数学。J。 64，编号4，927-935（2023）; 来自Sib的翻译。材料Zh。64，第4期，830-840（2023年）。
MSC公司：03年月日 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{M.Kh.Faizrahmanov}，西布。数学。J.64，第4号，927--935（2023；Zbl 07729651）；来自Sib的翻译。材料Zh。64，第4号，830--840（2023）
全文： 内政部
新罕布什尔州卡西莫夫。;莫罗佐夫，A.S。

数代数的可分同余的下半格。 （英语。俄文原件） Zbl 07729645号

同胞。数学。J。 64，第4号，864-876（2023）; 来自Sib的翻译。材料Zh。64，第4期，第753-769页（2023年）。
MSC公司：03年月日 03Cxx号 08轴
PDF格式BibTeX公司 XML格式引用
\textit{N.Kh.Kasymov}和\textit{A.S.Morozov}，Sib。数学。J.64，第4期，第864-876页（2023年；Zbl 07729645）；来自Sib的翻译。材料Zh。64，编号4，753--769（2023）
全文： 内政部
尼基塔·阿列克桑德罗维奇·普罗琴科;弗拉基米尔·弗拉迪米洛维奇·里巴科夫;里马茨基、维塔利、瓦伦蒂诺维奇

区间FP-逻辑的可满足性问题。 （英语） Zbl 07711303号

伊兹夫。伊尔库茨克。天哪。州立大学。材料。 44, 98-107 (2023).
MSC公司：03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Protsenko}等人，Izv。伊尔库茨克。天哪。州立大学。材料44，98--107（2023；Zbl 07711303）
全文： 内政部 链接
OA许可证
Vitalii V.里马茨基。

饱和表逻辑中容许规则的显式基础。 （英语。俄文原件） Zbl 07688763号

离散数学。申请。 第2105-115号第33页（2023年）; 从Diskretn翻译。材料34，编号1，126-140（2022）。
MSC公司：03Bxx号 03年XX月 03Gxx公司
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Rimatskii}，离散数学。申请。33，编号2，105-115（2023；Zbl 07688763）；从Diskretn翻译。材料34，编号1，126--140（2022）
全文： 内政部
新墨西哥州科加巴耶夫。

有限配置上的丢番图方程组。 （英语。俄文原件） Zbl 07669630号

同胞。数学。J。 64，第2号，325-337（2023）; 来自Sib的翻译。材料Zh。64，第2期，第321-338页（2023年）。
MSC公司：03Cxx号 08Bxx年 08Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{N.T.Kogabaev}，锡伯。数学。J.64，No.2，325--337（2023；Zbl 07669630）；来自Sib的翻译。材料Zh。64，编号2，321-338（2023）
全文： 内政部
本杰明·克洛普什;路易斯·门登萨;简·莫里茨·佩齐克

自由多项式群和Magnus性质。 （英语） Zbl 1517.20052号

论坛数学。 35,2号，573-590（2023年）.
审核人：诺拉·罗梅乌·罗科（巴西利亚）
MSC公司：20E45型 03C20号 20E10年 20E22型 20E25型 2014年1月20日 2018年1月20日 2019年1月20日 20E05年
PDF格式BibTeX公司 XML格式引用
\textit{B.Klopsch}等人，《论坛数学》。35，编号2，573--590（2023；Zbl 1517.20052）
全文： 内政部 arXiv公司
布尼纳，E.I。;拉扎列夫，A.M。

辛群的泛等价。 （英语。俄文原件） Zbl 07659847号

数学杂志。科学。，纽约 269，第4期，453-468（2023）; 翻译自Fundam。普里克尔。材料23，编号4，17-38（2021）。
MSC公司：03Cxx号 20Gxx年 20埃克斯
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Bunina}和\textit{A.M.Lazarev}，J.Math。科学。，纽约269，No.4，453--468（2023；Zbl 07659847）；翻译自Fundam。普里克尔。材料23，编号4，17--38（2021）
全文： 内政部
B.S.卡尔穆尔扎耶夫。;北卡罗来纳州巴兹诺夫。;D.B.阿利什。

关于泛正图。 （英语。俄文原件） 兹比尔1529.03223

同胞。数学。J。 64，编号1，83-93（2023）; 来自Sib的翻译。材料Zh。64，第1期，98-112（2023年）。
MSC公司：03D45号 03日30分 05年10月 05C15号
PDF格式BibTeX公司 XML格式引用
\textit{B.S.Kalmurzaev}等人，Sib。数学。J.64，No.1，83--93（2023；Zbl 1529.03223）；来自Sib的翻译。材料Zh。64，编号1，98--112（2023）
全文： 内政部
尼克·贝扎尼什维利;卢卡·卡莱;西尔维奥·吉拉尔迪;露西娅·兰迪

（\Pi_2）推理规则的可容许性：插值、模型完成和接触代数。 （英语） Zbl 07601551号

Ann.纯粹应用。逻辑 174，第1号，文章ID 103169，第31页（2023）.
MSC公司：03B45号 03C10号机组 06E25年 54E05型
PDF格式BibTeX公司 XML格式引用
\textit{N.Bezhanishvili}等人，Ann.Pure Appl。逻辑174，第1号，文章ID 103169，31页（2023；Zbl 07601551）
全文： 内政部 arXiv公司
新墨西哥州科加巴耶夫。

等效于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，No.4，318--327（2022；Zbl 1515.03184）；《代数逻辑学》第61卷第4期第469-482页（2022年）的译文
全文： 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利

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

亚历克斯（编辑）Citkin等人，V.A.Yankov，关于非经典逻辑、历史和数学哲学。查姆：斯普林格。Outst公司。控制日志。24, 71-124 (2022).
MSC公司：03B55号 06D20日 2015年6月
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bezhanishvili｝和\textit｛N.Bezhanishvili｝，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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件