爪哇Moghaderi;索马里莫塔米德 BL-代数中的弱素滤子和超矩阵滤子。 (英语) Zbl 1529.06021号 J.Algebr。系统。 12,第2期,211-235(2025).MSC公司:05年6月 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Moghaderi}和\textit{S.Motamed},J.Algebr。系统。12,第2号,211--235(2025;Zbl 1529.06021) 全文: 内政部
S.Barry库珀;安德里亚·索比;玛丽亚·索斯科娃 使用不完整信息进行计算。枚举和正可约性的数学(即将出现)。 (英语) Zbl 07177077号 新加坡:世界科学(ISBN 978-981-4383-14-1/hbk)。450页。(2025).MSC公司:03-02 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Cooper}等人,《不完全信息的计算》。枚举和正可约性的数学(即将出现)。新加坡:世界科学(2025;Zbl 07177077) 全文: 内政部
伊万·拉内斯;伊恩·菲利普斯;伊雷克·乌利多夫斯基 可逆计算的公理理论。 (英语) Zbl 07839133号 ACM事务处理。计算。日志。 25,第2条,第11条,40页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,ACM翻译。计算。日志。25,第2号,第11条,40页(2024;Zbl 07839133) 全文: 内政部 arXiv公司
尤里·亚罗维科夫;马克西姆·朱可夫斯基 量词深度为4的FO逻辑的谱是有限的。 (英语) Zbl 07839132号 ACM事务处理。计算。日志。 第25号第2条第9条第24页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yarovikov}和\textit{M.Zhukovskii},ACM翻译。计算。日志。25,第2号,第9条,第24页(2024;Zbl 07839132) 全文: 内政部 arXiv公司
劳拉·博泽利;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺 模型检验知识和时间的复杂性。 (英语) Zbl 07839131号 ACM事务处理。计算。日志。 25,第1条,第8条,第42页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,ACM Trans。计算。日志。25,第1号,第8条,第42页(2024;Zbl 07839131) 全文: 内政部
米歇尔·博雷尔;路易斯·科洛迪;丹尼尔·戈拉 流微积分中的乘积、多项式和微分方程。 (英语) Zbl 07839130号 ACM事务处理。计算。日志。 25,第1条,第7条,第26页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人,ACM Trans。计算。日志。25,第1号,第7条,第26页(2024;Zbl 07839130) 全文: 内政部 OA许可证
朱塞佩·格雷科;彼得·吉普森;梁飞;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯 LE-逻辑的代数证明理论。 (英语) Zbl 07839129号 ACM事务处理。计算。日志。 25,第1号,第6条,第37页(2024).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}等人,ACM Trans。计算。日志。25,第1号,第6条,第37页(2024;Zbl 07839129) 全文: 内政部 arXiv公司
坎通纳,多梅尼科;彼得罗·乌西诺 无序笛卡尔积算子布尔集理论可满足性问题的可判定性。 (英语) Zbl 07839128号 ACM事务处理。计算。日志。 25,第1条,第5条,第30页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{P.Ursino},ACM翻译。计算。日志。25,第1号,第5条,第30页(2024;Zbl 07839128) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼;加尔省瓦尔迪 透视游戏。 (英语) Zbl 07839127号 ACM事务处理。计算。日志。 25,第1条,第4条,第26页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},ACM Trans。计算。日志。25,第1号,第4条,第26页(2024;Zbl 07839127) 全文: 内政部 OA许可证
萨姆·休斯;瓦利乌纳斯、莫蒂尤斯 相称的HNN扩展:层次双曲线和双自动。 (英语) 兹伯利07838036 注释。数学。Helv公司。 99,第2期,397-436(2024).MSC公司:20层65 2010年1月20日 20楼67 第37页第30页 57公里20 57米50 PDF格式BibTeX公司 XML格式引用 \textit{S.Hughes}和\textit{M.Valiunas},评论。数学。Helv公司。99,第2号,397--436(2024;Zbl 07838036) 全文: 内政部 arXiv公司 OA许可证
维罗尼克·布鲁埃;巴普蒂斯特·菲夫特;Jean-François拉斯金;塔米内斯,克莱门特 Stackelberg-Pareto合成。 (英语) Zbl 07838032号 ACM事务处理。计算。日志。 第25号第2条第14条第49页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,《美国医学杂志》。计算。日志。25,第2号,第14条,49页(2024;Zbl 07838032) 全文: 内政部 arXiv公司
亚历山德罗·阿塔尔;安德烈亚·马祖洛;安娜·奥扎基 有限迹上的一阶时序逻辑:语义属性、可判定片段和应用。 (英语) Zbl 07838031号 ACM事务处理。计算。日志。 第25号第2条第13条第43页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM翻译。计算。日志。25,第2号,第13条,43页(2024;Zbl 07838031) 全文: 内政部 arXiv公司
Cate,Balder 10号;拉乌尔·库迪杰斯 用实例表征模态公式。 (英语) Zbl 07838030号 ACM事务处理。计算。日志。 25,第2号,第12条,第27页(2024).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.t.Cate}和\textit{R.Koudijs},ACM Trans。计算。日志。25,第2号,第12条,第27页(2024;Zbl 07838030) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼;诺姆·申瓦尔德 LTL有理综合的复杂性。 (英语) 兹伯利07838029 ACM事务处理。计算。日志。 25,第2条,第10条,第31页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{N.Shenwald},ACM翻译。计算。日志。25,第2号,第10条,第31页(2024;Zbl 07838029) 全文: 内政部
库兹涅佐夫(Stepan L.Kuznetsov)。 交换Kleene代数理论的算法复杂性。 (英语。俄文原件) Zbl 07838022号 伊兹夫。数学。 88,编号2,236-269(2024); Izv的翻译。罗斯。阿卡德。Nauk,爵士。材料88,编号2,44-79(2024)。MSC公司:03B25号 03C75号 03B47号 03天35分 05年3月 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kuznetsov},伊兹夫。数学。88,No.2,236--269(2024;Zbl 07838022);Izv的翻译。罗斯。阿卡德。Nauk,爵士。材料88,编号2,44--79(2024) 全文: 内政部 MNR公司
迈克尔·兰伯特;埃文·帕特森 笛卡尔双重理论:范畴学说的双重范畴框架。 (英语) Zbl 07837853号 高级数学。 444,文章ID 109630,119 p.(2024).MSC公司:03G30型 18N10型 PDF格式BibTeX公司 XML格式引用 \textit{M.Lambert}和\textit{E.Patterson},高级数学。444,文章ID 109630,119 p.(2024;Zbl 07837853) 全文: 内政部 arXiv公司
奥兹勒姆·贝亚斯兰;彼得·科瓦尔斯基 更正:“具有几乎自由群作用的场的模型理论”。 (英语) Zbl 07836825号 程序。伦敦。数学。社会(3) 128,第4号,文章ID e12597,第2页(2024).MSC公司:03C60型 03C45号机组 12个H10 20E08年 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{Ø.Beyarslan}和\textit{P.Kowalski},程序。伦敦。数学。Soc.(3)128,No.4,文章ID e12597,2 p.(2024;Zbl 07836825) 全文: 内政部
Jean-Paul Allouche;杰弗里·沙利特 邪恶和可恶数字以及类似序列的加法性质。 (英语) Zbl 07836766号 功能。近似值,注释。数学。 70,编号1,55-69(2024).MSC公司:11B13号机组 11B85号 第11页99 05年3月 65年第68季度 2010年1月20日 11升03 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Allouche}和\textit{J.Shallit},Funct。近似值,注释。数学。70,编号1,55--69(2024;Zbl 07836766) 全文: 内政部 arXiv公司
Leandro F.Aurichi。;马达莱纳州博南辛加;加布里埃尔·安德烈·阿斯马特,麦地那 Banach-Mazur游戏的一些变体。 (英语) Zbl 07836691号 Rev.R.学术版。中国。精确到Fís。Nat.,Ser。一个垫子,RACSAM 118,第2号,第62号论文,第9页(2024年).MSC公司:54E52型 54层65 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{L.F.Aurichi}等人,Rev.R.Acad。中国。精确到Fís。Nat.,Ser。A Mat.,RACSAM 118,第2号,第62号论文,第9页(2024年;Zbl 07836691) 全文: 内政部 arXiv公司
尼古拉斯·加拉托斯;加拉多,伊西斯·A。 分布预群:生成性和可判定性。 (英语) Zbl 07835179号 J.代数 648, 9-35 (2024).MSC公司:06财年 2009年6月 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}和\textit{I.A.Gallardo},J.代数648,9--35(2024;Zbl 07835179) 全文: 内政部
约翰·科特里娜;法比安·弗洛雷斯·巴赞 通过Weierstrass和Berge极大值定理的向量扩张,证明了广义多目标对策的Nash均衡的存在性。 (英语) Zbl 07834848号 J.计算。申请。数学。 442,文章ID 115720,10 p.(2024).MSC公司:91A44型 91A70型 52A07号 PDF格式BibTeX公司 XML格式引用 \textit{J.Cotrina}和\textit{F.Flores-Bazán},J.Compute。申请。数学。442,文章ID 115720,10 p.(2024;Zbl 07834848) 全文: 内政部
赵一凡;刘华文 区间\(\boldsymbol{R}\)-谢弗笔划和区间模糊谢弗笔画具有允许的阶数。 (英语) Zbl 07834351号 国际J近似推理 166,文章ID 109120,22 p.(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhao}和\textit{H.-W.Liu},国际期刊近似推理166,文章ID 109120,22 p.(2024;Zbl 07834351) 全文: 内政部
爱德华多·费尔梅;马可·加拉帕;阿卜哈亚·纳亚克;毛里西奥·D·L·雷斯。 相关性、恢复和恢复:戒指退出的前奏。 (英语) Zbl 07834347号 国际J近似推理 166,文章ID 109108,第21页(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{E.Fermé}et al.,Int.J.近似推理166,文章ID 109108,21 p.(2024;Zbl 07834347) 全文: 内政部
唐玉新;赵素云;陈,洪;李翠萍;翟俊海;周强军 用于特征选择的模糊粗糙非学习模型。 (英语) Zbl 07834340号 国际J近似推理 165,文章ID 109102,23 p.(2024).MSC公司:68T05型 68单位10 94D05型 94A08型 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tang}等人,国际期刊近似推理165,文章ID 109102,23 p.(2024;Zbl 07834340) 全文: 内政部
索玛·杜塔;多米尼克·扎克 消除冗余属性的决策评估的性质。 (英语) Zbl 07834337号 国际J近似推理 165,文章ID 109091,22 p.(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Dutta}和\textit{D.Ślęzak},国际期刊近似推理165,文章ID 109091,22 p.(2024;Zbl 07834337) 全文: 内政部
伊戈尔·多林卡;谢尔盖·古塞夫。;米哈伊尔·沃尔科夫五世。 逆半群幂的半环和对合恒等式。 (英语) Zbl 07834107号 Commun公司。代数 第52期,第5期,1922-1929年(2024年).MSC公司:2016年60月 2018年11月20日 08B05年 PDF格式BibTeX公司 XML格式引用 \textit{I.Dolinka}等人,Commun。《代数》52,第5期,1922-1929(2024;Zbl 07834107) 全文: 内政部 arXiv公司
汉斯·克莱恩·勃宁 命题UMU公式类及其对极小不可满足公式的扩展。 (英语) Zbl 07833683号 西奥。计算。科学。 998,文章ID 114538,17 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning},Theor(西奥)。计算。科学。998,文章ID 114538,17 p.(2024;Zbl 07833683) 全文: 内政部
克里斯托弗·卡鲁瓦纳;贾里德·霍尔舒泽 一些选星游戏的翻译结果。 (英语) Zbl 07833006号 拓扑应用程序。 348,文章ID 108889,25 p.(2024).MSC公司:91A44型 54D20个 54B20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Caruvana}和\textit{J.Holshouser},拓扑应用。348,文章ID 108889,25页(2024;Zbl 07833006) 全文: 内政部 arXiv公司
保罗·马菲齐奥利 否定范式中连贯理论的截消。 (英语) Zbl 07832914号 架构(architecture)。数学。逻辑 63,编号3-4,427-445(2024).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{P.Maffezioli},拱门。数学。逻辑63,编号3-427-445(2024;Zbl 07832914) 全文: 内政部 OA许可证
王龙春;李庆国 \(L\)-域作为局部连续序列结石。 (英语) Zbl 07832913号 架构(architecture)。数学。逻辑 63,编号3-4,405-425(2024).MSC公司:03B70号 06B35号 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{Q.Li},Arch。数学。逻辑63,编号3--4,405--425(2024;Zbl 07832913) 全文: 内政部
藤原真本;Kurahashi、Taishi Prenex规范化和公式的层次分类。 (英语) Zbl 07832912号 架构(architecture)。数学。逻辑 63,编号3-4,391-403(2024).MSC公司:03年10月 03B20型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kurahashi},拱门。数学。逻辑63,编号3--4,391--403(2024;Zbl 07832912) 全文: 内政部 arXiv公司
安德烈亚·伊科纳;洛伦佐·罗西 天真的真理和有条件的证据。 (英语) Zbl 07832906号 J.菲洛斯。日志。 53,第2号,559-584(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Iacona}和textit{L.Rossi},J.Philos。日志。53,编号2559-584(2024;兹bl 07832906) 全文: 内政部 OA许可证
卡亚·德乌瑟;蒋俊丽;帕维尔·瑙莫夫;张文轩 数据信息知识的动态逻辑。 (英语) Zbl 07832905号 J.菲洛斯。日志。 53,编号:22521-557(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{K.Deuser}等人,J.Philos。日志。53,编号2,521--557(2024;Zbl 07832905) 全文: 内政部 OA许可证
西奥·A·F·柯伊伯。 真实性和行星数量。 (英语) Zbl 07832904号 J.菲洛斯。日志。 53,编号2,493-520(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.A.F.Kuipers},J.Philos(费罗斯)。日志。53,编号2,493--520(2024;Zbl 07832904) 全文: 内政部 OA许可证
路易斯·德罗塞特 不纯正逻辑的语义框架。 (英语) Zbl 07832903号 J.菲洛斯。日志。 53,第2期,463-491(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.deRosset},J.Philos(费罗斯)。日志。53,编号2,463--491(2024;Zbl 07832903) 全文: 内政部
乔舒亚·谢克特 监督主义、模态逻辑和弱经典逻辑。 (英语) Zbl 07832902号 J.菲洛斯。日志。 53,编号2,411-461(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Schechter},J.Philos(费罗斯)。日志。53,第2号,411--461(2024;Zbl 07832902) 全文: 内政部
丹尼尔·多恩 无代客泊车后果。 (英语) Zbl 07832901号 J.菲洛斯。日志。 53,第2号,391-409(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Dohrn},J.Philos。日志。53,第2号,391--409(2024;Zbl 07832901) 全文: 内政部 OA许可证
罗德里克·巴切洛 一阶蕴涵和truthmaker函数。 (英语) Zbl 07832900号 J.菲洛斯。日志。 53,第2期,373-390(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Batchelor},J.Philos(费罗斯)。日志。53,编号2,373--390(2024;Zbl 07832900) 全文: 内政部
Pawel,Pawlowski;丹尼尔·斯科特 模态逻辑的8值非确定性语义。 (英语) Zbl 07832899号 J.菲洛斯。日志。 53,编号2,351-371(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{P.Pawlowski}和\textit{D.Skurt},J.Philos。日志。53,编号2,351--371(2024;Zbl 07832899) 全文: 内政部
安德鲁·特德 Mares-Goldblatt语义的代数观点。 (英语) Zbl 07832898号 J.菲洛斯。日志。 53,编号2,331-349(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Tedder},J.Philos(费罗斯)。日志。53,编号2,331--349(2024;Zbl 07832898) 全文: 内政部 OA许可证
斯蒂芬·伊戈列维奇·巴什马科夫;基里尔·亚历克桑德罗维奇·斯梅利克 多代理计算树逻辑的关系版本\(\mathcal{CTLK}\)。 (俄语。英文摘要) Zbl 07832085号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 78-92 (2024).MSC公司:03B44号 03B42号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov}和\textit{K.A.Smelykh},Izv。伊尔库茨克。戈斯。州立大学。材料47、78--92(2024;Zbl 07832085) 全文: 内政部 链接
阿克巴·巴德 EQ代数的新型混合滤波器。 (英语) Zbl 07830547号 数学。博昂。 149,编号1,105-127(2024).MSC公司:03G25号 03B50号 08A72号 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{A.Paad},数学。博昂。149,编号1,105-127(2024;Zbl 07830547) 全文: 内政部
雅罗斯拉夫·古里坎;高马什扬(Ghumashyan,Heghine) 有限Brouwerian半格及相关Stone代数的强自同态核性质。 (英语) Zbl 07830540号 数学。博昂。 149,编号1,13-25(2024).MSC公司:03G25号 99年6月 08A30型 08A35型 08B26号 PDF格式BibTeX公司 XML格式引用 \textit{J.Guričan}和\textit{H.Ghumashyan},数学。博昂。149,编号1,13-25(2024;Zbl 07830540) 全文: 内政部
路易斯·埃斯特拉达·冈萨雷斯;尼科拉斯·弗朗西斯科·里卡多·阿图罗 连接否定。 (英语) Zbl 07830176号 双头螺栓日志。 112,编号1-2,511-539(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Estrada-González}和\textit{R.A.Nicolás-Francisco},Stud.Log。112,编号1--2,511--539(2024;Zbl 07830176) 全文: 内政部 OA许可证
托马斯·弗格森。 格里斯解读中的可执行性和关联性。 (英语) Zbl 07830175号 双头螺栓日志。 112,编号1-2,459-509(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Ferguson},Stud.Log。112,编号1--2,459--509(2024;Zbl 07830175) 全文: 内政部 OA许可证
汉斯·罗特 区分条件和连接。 (英语) Zbl 07830174号 双头螺栓日志。 112,编号1-2,405-458(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.Rott},螺柱日志。112,编号1--2,405--458(2024;Zbl 07830174) 全文: 内政部 OA许可证
温雪峰 Stalnakerian连接逻辑。 (英语) Zbl 07830173号 双头螺栓日志。 112,编号1-2,365-403(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{X.Wen},Stud.Log。112,编号1--2,365-403(2024;Zbl 07830173) 全文: 内政部
埃里克·雷德尔;安德里亚·伊亚科纳;文森佐·克鲁皮 让步条件句的公理系统。 (英语) Zbl 07830172号 双头螺栓日志。 112,编号1-2,343-363(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{E.Raidl}等人,研究日志。112,编号1--2,343--363(2024;Zbl 07830172) 全文: 内政部 OA许可证
安德烈亚·伊科纳 逻辑推理中的关联性。 (英语) Zbl 07830171号 双头螺栓日志。 112,编号1-2,325-342(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Iacona},研究日志。112,编号1--2,325--342(2024;Zbl 07830171) 全文: 内政部 OA许可证
亚历山德罗·佐丹尼 基于情境的连接逻辑。 (英语) Zbl 07830170号 双头螺栓日志。 112,编号1-2,295-323(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Giordani},研究日志。112,编号1--2,295--323(2024;Zbl 07830170) 全文: 内政部 OA许可证
吉多·格拉迪;奥兰德利,尤金尼奥;埃里克·雷德尔 超严格蕴涵的证明系统。 (英语) Zbl 07830169号 双头螺栓日志。 112,编号1-2,249-294(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{G.Gherardi}等人,研究日志。112,编号1--2,249--294(2024;Zbl 07830169) 全文: 内政部 OA许可证
马特乌斯·克洛诺夫斯基;路易斯·埃斯特拉达·冈萨雷斯 布尔连接逻辑和内容关系。 (英语) Zbl 07830168号 双头螺栓日志。 112,编号1-2,207-248(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Klonowski}和\textit{L.Estrada-González},研究日志。112,编号1--2,207--248(2024;Zbl 07830168) 全文: 内政部 OA许可证
尼基·菲弗;朱塞佩·桑菲利波 连接逻辑、概率缺省推理和复合条件句。 (英语) Zbl 07830167号 双头螺栓日志。 112,编号1-2,167-206(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Pfeifer}和\textit{G.Sanfilippo},Stud.Log。112,编号1-2167-206(2024;兹bl 07830167) 全文: 内政部 OA许可证
大森,Hitoshi;安德烈亚斯·卡普斯纳 安吉尔和麦考尔遇见了瓦辛。 (英语) Zbl 07830166号 双头螺栓日志。 112,编号1-2,141-165(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.Omori}和\textit{A.Kapsner},Stud.Log。112,编号1--2,141--165(2024;Zbl 07830166) 全文: 内政部 OA许可证
大卫·法齐奥;安东尼奥·莱达;弗朗西斯科·保利 直觉主义逻辑是一种连接逻辑。 (英语) Zbl 07830165号 双头螺栓日志。 112,编号1-2,95-139(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Fazio}等人,研究日志。112,编号1--2,95-139(2024;Zbl 07830165) 全文: 内政部 arXiv公司 OA许可证
亚历克斯·贝里科夫 克服超连接的简单方法。 (英语) Zbl 07830164号 双头螺栓日志。 112,编号1-2,69-94(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Belikov},研究日志。112,编号1--2,69-94(2024;Zbl 07830164) 全文: 内政部
大卫·法齐奥;谢尔盖·奥丁佐夫。 对连接逻辑(mathsf{C})的代数研究。 (英语) Zbl 07830163号 双头螺栓日志。 112,编号1-2,37-67(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Fazio}和\textit{S.P.Odintsov},Stud.Log。112,编号1--2,37-67(2024;Zbl 07830163) 全文: 内政部
海因里希·瓦辛;大森,Hitoshi 连接逻辑、连接性和连接主义:术语注释。 (英语) Zbl 07830162号 双头螺栓日志。 112,编号1-2,1-35(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}和\textit{H.Omori},Stud.Log。112,编号1--2,1--35(2024;Zbl 07830162) 全文: 内政部 OA许可证
李元元;李元欣 针对DoS攻击的不确定非线性多智能体系统基于安全性的分布式模糊漏斗协同控制。 (英语) 兹伯利07829865 信息科学。 661,文章ID 120189,18 p.(2024).MSC公司:93立方厘米 93B53号 93立方厘米 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{Y.-Y.Li}和\textit{Y.-X.Li}.信息科学。661,文章ID 120189,18 p.(2024;Zbl 07829865) 全文: 内政部
Joan Bagaria;加布里埃尔·戈德伯格 反映措施。 (英语) 兹伯利07829722 高级数学。 443,文章ID 109586,24 p.(2024).MSC公司:03埃克斯 03年XX月 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bagaria}和\textit{G.Goldberg},高级数学。443,文章ID 109586,24 p.(2024;Zbl 07829722) 全文: 内政部
谢尔盖·阿特莫夫(编辑) 2024年符号逻辑协会春季会议,纽约州纽约市喜来登时代广场。东部APA会议,2024年1月15日至18日。 (英语) Zbl 07828963号 牛。符号。日志。 第1期第30页,172-175页(2024年).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}(编辑),公牛。符号。日志。30,编号1,172--175(2024;Zbl 07828963) 全文: 内政部
玛丽安·马利亚利斯(编辑) 2024年符号逻辑协会冬季会议,加利福尼亚州旧金山。联合数学会议,2024年1月3日至6日。 (英语) Zbl 07828962号 牛。符号。日志。 30,第1期,166-171(2024).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Malliaris}(编辑),公牛。符号。日志。30,编号1,166-171(2024;Zbl 07828962) 全文: 内政部
吉列尔莫·巴迪亚(编辑);肖恩·斯坦德弗(编辑) 澳大利亚逻辑协会2023年会议。昆士兰大学,澳大利亚布里斯班,2023年11月9日至10日。 (英语) Zbl 07828961号 牛。符号。日志。 30,编号1,152-165(2024).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}(编辑)和\textit{S.Standefer}(主编),公牛。符号。日志。30,编号1,152-165(2024;Zbl 07828961) 全文: 内政部
丁龙云(编辑) 第17届亚洲逻辑会议:符号逻辑协会的正式会议。南开大学,中国天津,2023年10月9日至13日。 (英语) Zbl 07828960号 牛。符号。日志。 30,第1号,140-151(2024).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Ding}(编辑),公牛。符号。日志。30,编号1,140--151(2024;Zbl 07828960) 全文: 内政部
保拉·达奎诺(编辑) 2023年符号逻辑协会欧洲夏季会议,2023年逻辑学术讨论会。米兰大学,意大利米兰,2023年6月5日至9日。 (英语) Zbl 07828959号 牛。符号。日志。 30,编号1,94-139(2024).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{P.D'Aquino}(编辑),公牛。符号。日志。30,编号1,94--139(2024;Zbl 07828959) 全文: 内政部
阿诺·阿夫隆 彭加莱-韦尔的预测性:超越\(\Gamma_0\)。 (英语) Zbl 07828958号 牛。符号。日志。 30,编号1,41-91(2024).MSC公司:03A05号 03B30型 03E30年 03年10月 00A30型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。符号。日志。30,编号1,41-91(2024;Zbl 07828958) 全文: 内政部 OA许可证
安德烈·科内尔 离散量子结构。二: 示例。 (英语) Zbl 07828323号 J.非通勤。地理。 18,编号2,411-450(2024).MSC公司:46升89 03G30型 46升67 PDF格式BibTeX公司 XML格式引用 \textit{A.Kornell},J.非通勤。地理。18、编号2、411--450(2024;Zbl 07828323) 全文: 内政部 OA许可证
安德烈·科内尔 离散量子结构。一: 量子谓词逻辑。 (英语) Zbl 07828321号 J.非通勤。地理。 18,编号1,337-382(2024).MSC公司:46升89 03G30型 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Kornell},J.非通勤。地理。18,编号1,337--382(2024;Zbl 07828321) 全文: 内政部
阿尔伯特·武卡吉;德米特里·朱克 在设置为次等价的三元素上的次极大克隆。 (英语) Zbl 07828210号 代数大学。 85,第2号,第22号论文,第31页(2024年).MSC公司:03B50号 08A70号 08B05年 PDF格式BibTeX公司 XML格式引用 \textit{A.Vucaj}和\textit{D.Zhuk},代数宇宙。85,第2号,第22号论文,第31页(2024;Zbl 07828210) 全文: 内政部 arXiv公司 OA许可证
亚当·戴,萨姆;尼克·贝扎尼什维利;大卫·加伯里亚;文森佐·马拉 中间逻辑的多面体完备性:神经准则。 (英语) Zbl 07827893号 J.塞姆。日志。 89,编号1,342-382(2024).MSC公司:03B55号 03B45号 06A07年 06D20日 52个B05 PDF格式BibTeX公司 XML格式引用 \textit{S.Adam-Day}等人,J.Symb。日志。89,编号1,342--382(2024;Zbl 07827893) 全文: 内政部 arXiv公司
罗伯特·帕斯曼 CZF的一阶逻辑是直觉一阶逻辑。 (英语) Zbl 07827891号 J.塞姆。日志。 89,编号1,308-330(2024).MSC公司:03楼50 03B20型 03B55号 03E70型 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{R.Passmann},J.Symb。日志。89,编号1,308--330(2024;Zbl 07827891) 全文: 内政部 arXiv公司 OA许可证
穆罕默德·戈尔沙尼;赖哈·佐吉法德 正规测度过滤序列的哥德尔-洛布可证明逻辑的完备性。 (英语) Zbl 07827884号 J.塞姆。日志。 89,编号1,163-174(2024).MSC公司:03E35号 03E55型 第03页第45页 PDF格式BibTeX公司 XML格式引用 \textit{M.Golshani}和\textit{R.Zoghifard},J.Symb。日志。89,编号1,163--174(2024;Zbl 07827884) 全文: 内政部 arXiv公司
吉列尔莫·巴迪亚;泽维尔·凯塞多;卡莱斯·诺格拉 无恒等式逻辑的极大性。 (英语) Zbl 07827883号 J.塞姆。日志。 89,编号1,147-162(2024).MSC公司:03年10月 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}等人,J.Symb。日志。89,编号1,147--162(2024;Zbl 07827883) 全文: 内政部 arXiv公司 OA许可证
G.贝扎尼什维利。;费尔南德斯·杜克(D.Fernández-Duque)。 拜尔闭包及其逻辑。 (英语) 兹伯利07827878 J.塞姆。日志。 89,编号1,27-49(2024).MSC公司:03B45号 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{D.Fernández-Duque},J.Symb。日志。89,编号1,27-49(2024;Zbl 07827878) 全文: 内政部 arXiv公司 OA许可证
尼尔·巴顿;Kameryn J.威廉姆斯。 各类类别理论电势。 (英语) Zbl 07827536号 版本符号。日志。 17,编号1,272-304(2024).MSC公司:03A05号 03E70型 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Barton}和\textit{K.J.Williams},Rev.Symb。日志。17、编号1、272--304(2024;Zbl 07827536) 全文: 内政部 arXiv公司
亚历山大·库克里克(Alexander W.Kocurek)。 超逻辑的逻辑。A部分:基础。 (英语) Zbl 07827535号 版本符号。日志。 17,编号1,244-271(2024).MSC公司:03A05号 03B16号 03B45号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Kocurek},西蒙牧师。日志。17,编号1,244--271(2024;Zbl 07827535) 全文: 内政部 OA许可证
Kurahashi、Taishi;Okuda、Motoki 模态算术中的析取和存在性。 (英语) Zbl 07827533号 版本符号。日志。 17,编号1,178-205(2024).MSC公司:03B45号 03英尺30英寸 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kurahashi}和\textit{M.Okuda},Rev.Symb。日志。17,编号1,178--205(2024;Zbl 07827533) 全文: 内政部 arXiv公司
埃文·皮尔蒙特 相对真理、意识和可能性的代数语义。 (英语) Zbl 07827532号 版本符号。日志。 17,第1期,154-177(2024).MSC公司:03B42号 03G27号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{E.Piermont},版本:Symb。日志。17,编号1,154--177(2024;Zbl 07827532) 全文: 内政部 arXiv公司
大卫·费尔南德斯·杜克 驯服“别处”:论拓扑语言的表现力。 (英语) Zbl 07827531号 版本符号。日志。 17,第1号,144-153(2024).MSC公司:03Bxx号 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},Rev.Symb。日志。17,编号1,144--153(2024;兹bl 07827531) 全文: 内政部 arXiv公司
米兰Mossé;杜利古尔·伊贝林;托马斯·伊卡德 因果推理比概率推理难吗? (英语) Zbl 07827529号 版本符号。日志。 17,编号1,106-131(2024).MSC公司:03A05号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mossé}等人,Rev.Symb。日志。17,编号1,106--131(2024;Zbl 07827529) 全文: 内政部 arXiv公司
托比·梅多斯 什么是限制性理论? (英语) Zbl 07827528号 版本符号。日志。 17,编号1,67-105(2024).MSC公司:03A05号 03E40型 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{T.Meadows},版本符号。日志。17,编号1,67--105(2024;Zbl 07827528) 全文: 内政部 OA许可证
伊格纳西奥·贝拉斯·阿科斯塔;维尼马,伊德 计数到无穷:带有无穷菱形的分级模态逻辑。 (英语) Zbl 07827524号 版本符号。日志。 17,编号1,1-35(2024).MSC公司:03B45号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Acosta}和\textit{Y.Venema},版本Symb。日志。17,编号1,1-35(2024;Zbl 07827524) 全文: 内政部
Jockwich Martinez,S。;塔拉福德,S。;文丘里,G。 \(\mathsf{ZF}\)及其解释。 (英语) Zbl 07827507号 Ann.纯粹应用。逻辑 175,第6号,文章ID 103427,38页(2024).MSC公司:03C90号 03E70型 03E40型 03G10年 03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Jockwich Martinez}等人,Ann.Pure Appl。逻辑175,第6号,文章ID 103427,38页(2024;Zbl 07827507) 全文: 内政部
萨姆森·艾布拉姆斯基;卢卡·雷吉奥 树范畴和等源同态保持定理。 (英语) Zbl 07827505号 Ann.纯粹应用。逻辑 175,第6号,文章ID 103423,41页(2024).MSC公司:03年10月 03B70号 03C13号机组 18立方厘米 19年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{L.Reggio},Ann.Pure Appl。逻辑175,第6号,文章ID 103423,41页(2024;Zbl 07827505) 全文: 内政部 arXiv公司
Ballester-Bolinches,A。;Esteban-Romero,R。;费拉拉,M。;佩雷兹·卡拉比格(Pérez-Calabuig,V.)。;特隆贝蒂,M。 无平方阶和超可解的有限斜撑。 (英语) Zbl 07827376号 论坛数学。西格玛 12,论文编号e39,33 p.(2024).MSC公司:2016年第25期 03D40号 2010年1月20日 2016年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{A.Ballester-Bolinches}等人,《数学论坛》。Sigma 12,论文编号e39,33 p.(2024;Zbl 07827376) 全文: 内政部 arXiv公司 OA许可证
戴超群;郭玉谦;桂伟华 具有状态相关不确定切换和控制约束的逻辑网络的鲁棒反馈集镇定。 (英语) Zbl 07827320号 J.系统。科学。复杂。 37,编号:22629-646(2024).MSC公司:93D21号 93D15号 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dai}等人,J.Syst。科学。复杂。37,编号2,629--646(2024;Zbl 07827320) 全文: 内政部
梅亚·弗雷泽;安德鲁·格兰维尔;哈里斯,迈克尔·H。;科林·麦克拉蒂;艾米丽·里尔;阿克谢·文卡特斯 机器会改变数学吗? (英语) Zbl 07826990号 牛。美国数学。Soc.,新Ser。 61,第2期,201-202(2024).MSC公司:01轴 00轴 03轴 PDF格式BibTeX公司 XML格式引用 \textit{M.Fraser}等人,公牛。美国数学。Soc.,新Ser。61,第2号,201--202(2024;Zbl 07826990) 全文: 内政部
马丁·布里德森。;Dessislava H·科奇卢科娃。 弱交换性、几乎幂零群和Dehn函数。 (英语) Zbl 07826208号 注释。数学。Helv公司。 99,第1期,1-37页(2024年).MSC公司:20J05型 20E22型 2010年1月20日 20层65 2018年1月20日 20层45层 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Bridson}和\textit{D.H.Kochloukova},评论。数学。Helv公司。99,编号1,1--37(2024;Zbl 07826208) 全文: 内政部 arXiv公司 OA许可证
吴永宁。;赵X.Z。 一些nil-ai半环变种。 (英语) Zbl 07825710号 半群论坛 108,编号1,258-271(2024).MSC公司:2016年60月 08B05年 2007年7月20日 PDF格式BibTeX公司 XML格式引用 \textit{Y.N.Wu}和\textit{X.Z.Zhao},半群论坛108,第1期,258--271(2024;Zbl 07825710) 全文: 内政部
李爽;张霞 通过切割和其他方式完成posemigroups。 (英语) 兹比尔07825707 半群论坛 108,第1期,165-194(2024).MSC公司:06财年 03Gxx公司 06Bxx年 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{X.Zhang},半群论坛108,第1期,165--194(2024;Zbl 07825707) 全文: 内政部
Lybech,斯蒂安 反射式高阶微积分:可编码性、典型性和分离性。 (英语) Zbl 07825550号 Inf.计算。 297,文章ID 105138,第33页(2024).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lybech},Inf.计算。297,文章ID 105138,33 p.(2024;Zbl 07825550) 全文: 内政部
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) 全文: 内政部
马克西莫娃。;云,V.F。 表前逻辑中Craig的插值性质。 (英语。俄文原件) Zbl 07825250号 同胞。数学。J。 65,编号2,344-350(2024); 来自Sib的翻译。材料Zh。65,第2期,349-357(2024年)。MSC公司:03Bxx号 03Cxx号 03月xx日 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) 全文: 内政部
阿里·汗;理查德·麦克莱恩(Richard P.McLean)。;梅廷·乌亚尼克 关于非局部凸和非Hausdorff拓扑向量空间中具有作用集的约束广义对策。 (英语) Zbl 07825070号 数学杂志。经济。 111,文章ID 102964,8 p.(2024).MSC公司:91A44型 46A99号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Khan}等人,J.Math。经济。111,文章ID 102964,8 p.(2024;Zbl 07825070) 全文: 内政部
克里斯托弗·伊格尔。;Lau,约书亚 \(K)-共存闭连续统理论。 (英语) Zbl 07823253号 J.日志。分析。 16,第1号论文,22页(2024年).MSC公司:54立方厘米 2015财年54 03C66号 03C10号机组 46升80 54E45型 05年第54天 54层50 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Eagle}和\textit{J.Lau},J.Log。分析。16,第1号论文,22页(2024;Zbl 07823253) 全文: 内政部 arXiv公司
雷、新余;陶、发展;王楠;傅竹木;马浩翔 具有死区输入的随机非线性系统的有限时间规定性能自适应模糊输出反馈控制。 (英语) Zbl 07821272号 国际J鲁棒非线性控制 34,第4期,2927-2945(2024).MSC公司:93D40型 93C40型 93立方厘米 93B52号 93E03型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Lei}等人,《国际鲁棒非线性控制》34,No.4,2927--2945(2024;Zbl 07821272) 全文: 内政部
胡亚婷;马瑞成;傅军 通过切换线性控制器对一类具有多个未知控制方向的高阶非线性参数化系统进行自适应控制。 (英语) Zbl 07821209号 国际J鲁棒非线性控制 34,第3期,1696-1713(2024).MSC公司:93C40型 93立方厘米 93D20型 93D21号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hu}等,国际鲁棒非线性控制34,No.3,1696--1713(2024;Zbl 07821209) 全文: 内政部
是的,达姆拉 UP(BCC)-代数的对称双导数。 (英语) Zbl 07821022号 J.应用。非类别。日志。 34,编号1,155-169(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Ylmaz},J.Appl(J.应用)。非类别。日志。34,编号1,155--169(2024;Zbl 07821022) 全文: 内政部
加利福尼亚州米德尔堡。 不一致数据库中的次一致逻辑和查询应答。 (英语) Zbl 07821021号 J.应用。非类别。日志。 34,第1期,133-154(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg},J.应用。非类别。日志。34,编号1,133--154(2024;Zbl 07821021) 全文: 内政部 arXiv公司
佐菲亚·科斯特齐卡;马雷克·扎昂克 模糊逻辑-定量。 (英语) Zbl 07821020号 J.应用。非类别。日志。 34,编号1,97-132(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kostrzycka}和\textit{M.Zaionc},J.Appl。非类别。日志。34,编号1,97--132(2024;Zbl 07821020) 全文: 内政部