胡杰森Z.S。;张俊英;碧姬·品特卡 模态依赖型理论的评价归一化。 (英语) Zbl 07775446号 J.功能。程序。 33,论文编号e7,51 p.(2023).MSC公司:第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{J.Z.S.Hu}等人,J.Funct。程序。33,论文编号e7,51 p.(2023;Zbl 07775446) 全文: 内政部 OA许可证
安德烈亚斯·亚贝尔;纪尧姆·阿莱斯;Aliya Hameer;碧姬·品特卡;阿尔贝托·莫米利亚诺;史蒂文·施费尔;凯瑟琳·斯塔克 POPLMark重载:通过逻辑关系实现机械化证明。 (英语) Zbl 1442.68257号 J.功能。程序。 29,论文编号e19,43 p.(2019).MSC公司:68伏15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,J.Funct。程序。29,论文编号e19,43 p.(2019;Zbl 1442.68257) 全文: 内政部
安德烈亚斯·亚贝尔;碧姬·品特卡 具有共同模式和大小类型的功能完善的递归。 (英语) Zbl 1420.68031号 J.功能。程序。 26,论文编号e2,61 p.(2016).MSC公司:第68页第18页 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}和\textit{B.Pientka},J.Funct。程序。26,论文编号e2,第61页(2016;兹bl 1420.68031) 全文: 内政部
碧姬·品特卡 业内人士对LF型重建的看法:你想知道的一切。 (英语) Zbl 1262.68030号 J.功能。程序。 23,第1期,第1-37页(2013年).MSC公司:第68页第18页 68甲15 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka},J.Funct。程序。23,第1号,1-37(2013;Zbl 1262.68030) 全文: 内政部