罗布·范格拉贝克 比较\(\pi\)-演算和CCS的表达能力。 (英语) Zbl 07807739号 ACM事务处理。计算。日志。 25,第1号,第1条,58页(2024年)。MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},ACM翻译。计算。日志。25,第1号,第1条,58页(2023;Zbl 07807739) 全文: 内政部
陈晓静;楚、文昌 \通过将Carlitz反演应用于(q)-Pfaff-Saalschütz定理,对(pi)-级数进行(q)-类比。 (英语) Zbl 07795659号 控制离散数学。 18,编号2,91-112(2023)。 审核人:罗伯特·科斯塔斯·桑托斯(塞维利亚) MSC公司:第33天第15天 05A30型 05A10号 11个B65 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}和\textit{W.Chu},Contrib.离散数学。18,编号2,91-112(2023;Zbl 07795659) 全文: arXiv公司 链接
温·科克;奥尔内拉·达达 优先选择最佳变体。 (英语) Zbl 07789000号 日志。方法计算。科学。 19,第4期,第28号论文,47页(2023年)。MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Kokke}和\textit{O.Dardha},日志。方法计算。科学。19,第4号,第28号论文,47页(2023年;Zbl 07789000) 全文: 内政部 arXiv公司 OA许可证
Paliogiannis,Fotios C。 关于操作员通勤功能的备注。 (英语) Zbl 1533.47017号 复杂分析。操作。理论 17,第6号,第83号论文,第11页(2023年)。MSC公司:47A60型 47B02型 47B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.C.Paliogiannis},复杂分析。操作。理论17,第6期,第83号论文,第11页(2023年;Zbl 1533.47017) 全文: 内政部
萨哈,苏拉夫;Park、Chanwook;斯特凡·纳皮克;郭嘉晨;黄,欧文;刘永锦 深度学习离散微积分(DLDC):一系列离散数值方法,用于STEM教育与前沿研究的通用近似。 (英语) 兹比尔07719575 计算。机械。 第2期第72页,第311-331页(2023年)。MSC公司:74-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{S.Saha}等人,计算。机械。72,编号2,311--331(2023;Zbl 07719575) 全文: 内政部 arXiv公司
西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 异步多方会话的精确子类型。 (英语) Zbl 07672673号 ACM事务处理。计算。日志。 24,第2条,第14条,73页(2023年)。MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,ACM Trans。计算。日志。24,第2号,第14条,73页(2023;Zbl 07672673) 全文: 内政部 arXiv公司 OA许可证
弗雷德里克·布兰基;Gilles Dowek;艾米丽·格里恩伯格;加布里埃尔·霍德特;弗朗索瓦·瑟雷 类型理论的模块化结构。 (英语) Zbl 1522.03041号 日志。方法计算。科学。 19,第1号,第12号论文,28页(2023年)。 审核人:Łukasz Czajka(多特蒙德) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui}等人,日志。方法计算。科学。19,第1号,第12号论文,28页(2023年;Zbl 1522.03041) 全文: 内政部 arXiv公司 OA许可证
魏传安 关于\(\pi\)及其类似物的两个双级数。 (英语) Zbl 07663052号 拉马努扬J。 60,编号3,615-625(2023)。MSC公司:第33天第15天 33D05号 33C20美元 11A07号 11个B65 34立方米 05A30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Wei},Ramanujan J.60,编号3,615--625(2023;Zbl 07663052) 全文: 内政部
尼科洛Veltri;安德烈亚·维佐西 在Guarded Cubical Agda中形式化CCS和\(\pi\)-演算。 (英语) Zbl 1512.68176号 J.日志。阿尔盖布。方法计划。 131,文章ID 100846,23 p.(2023)。MSC公司:68问题85 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Veltri}和\textit{A.Vezzosi},J.Log。阿尔盖布。方法计划。131,文章ID 100846,23 p.(2023;Zbl 1512.68176) 全文: 内政部
王荣华;钟,Michael X.X。 \(pi)级数的(q)-有理约化和(q)–类似物。 (英语) Zbl 1532.05017号 J.塞姆。计算。 116, 58-71 (2023)。 审核人:伊曼纽尔·穆纳里尼(米兰) MSC公司:05A30型 19年5月 33C20美元 第33天第15天 PDF格式BibTeX公司 XML格式引用 \textit{R.-H.Wang}和textit{M.X.X.Zhong},J.Symb。计算。116、58-71(2023年;Zbl 1532.05017) 全文: 内政部 arXiv公司