维拉·菲舍尔;科宾,玛琳;沃尔夫冈·沃霍夫斯基 基于基本矩阵的游戏。 (英语) Zbl 07720266号 圣母院J.形式逻辑 64,第2号,247-251(2023).MSC公司:03E05号 03E17年 PDF格式BibTeX公司 XML格式引用 \textit{V.Fischer}等人,圣母院J.形式逻辑64,No.2,247--251(2023;Zbl 07720266) 全文: 内政部 arXiv公司
乌韦·彼得森 拨号和数字不同。 (英语) Zbl 07720265号 圣母院J.形式逻辑 64,第2号,239-246(2023).MSC公司:03B53号 03B16号 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{U.Petersen},圣母院J.形式逻辑64,No.2,239--246(2023;Zbl 07720265) 全文: 内政部
Tran,Chieu-Minh公司;埃里克·沃尔斯伯格 \((\mathbb{Z};+)\的dp-最小展开式族。 (英语) Zbl 07720264号 圣母院J.形式逻辑 64,第2期,225-238(2023). 审核人:Beibut Kulpeshov(阿拉木图) MSC公司:03C65号 03C07号机组 03C10号机组 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Tran}和\textit{E.Walsberg},圣母院J.形式逻辑64,No.2,225--238(2023;Zbl 07720264) 全文: 内政部 arXiv公司
安斯滕·克莱夫 Spiritus asper与lambda:关于函数抽象的本质。 (英语) Zbl 07720263号 圣母院J.形式逻辑 64,第2号,205-223(2023).MSC公司:03A05号 00A30型 03B40型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Klev},圣母院J.形式逻辑64,No.2,205--223(2023;Zbl 07720263) 全文: 内政部
马拉特·费兹拉赫马诺夫 Slaman-Wehner定理和族的局部版本在有限差分下闭合。 (英语) Zbl 07720262号 圣母院J.形式逻辑 64,第2期,197-203(2023).MSC公司:03D45号 03C57号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{M.Faizrahmanov},圣母院J.形式逻辑64,No.2,197--203(2023;Zbl 07720262) 全文: 内政部
Krawczyk和Krzysztof A。 同余模态逻辑中的演绎定理。 (英语) Zbl 1533.03014号 圣母院J.形式逻辑 64,第2期,185-196(2023). 审核人:伊格纳西奥·维格利佐(巴伊亚·布兰卡) MSC公司:03B45号 03G25号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Krawczyk},圣母院J.形式逻辑64,No.2,185--196(2023;Zbl 1533.03014) 全文: 内政部
丹尼尔·马克斯·霍夫曼 Witt向量和具有更高导数的可分离闭域。 (英语) Zbl 07720260号 圣母院J.形式逻辑 64,编号2,173-184(2023).MSC公司:03C60型 13N15号 20世纪15年代 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Hoffmann},圣母院J.形式逻辑64,第2期,第173-184页(2023年;Zbl 07720260) 全文: 内政部 arXiv公司
伊塔伊本·雅科夫;艾萨克·戈德布林 局部紧群作为度量结构的酉表示。 (英语) Zbl 07720259号 圣母院J.形式逻辑 64,第2号,159-172(2023). 审核人:彼得罗·科瓦尔斯基(Wrocław) MSC公司:03C20号 22日第10天 22日20时 22D55型 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Yaacov}和\textit{I.Goldbring},圣母院J.形式逻辑64,No.2,159--172(2023;Zbl 07720259) 全文: 内政部 arXiv公司 哈尔