马克·比克福德;德克斯特·科岑;亚历山德拉·席尔瓦 Moessner定理的形式化及其推广Nuprl公司. （英语） Zbl 07432496号 J.日志。阿尔盖布。方法计划。 124，文章ID 100713，6 p.（2022）.MSC公司：03B35型 11B83号 13层25 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人，J.Log。阿尔盖布。方法程序。124，文章ID 100713，6 p.（2022；Zbl 07432496） 全文： 内政部
斯坦尼斯拉夫·阿列申五世。;潘捷列夫，帕维尔·A。 有限自动机和数字。 （英语。俄文原件） Zbl 1386.68105号 离散数学。申请。 26，第3期，131-144（2016）; 从Diskretn翻译。Mat.27，No.4，3-20（2015）。MSC公司：70年第68季度 11S85型 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Aleshin}和\textit{P.A.Pantelev}，离散数学。申请。26，第3号，131--144（2016；Zbl 1386.68105）；从Diskretn翻译。材料27，编号4，3--20（2015） 全文： 内政部
普拉西特·巴塔查里亚 将\（p\）-adic整数作为最终的余代数。 （英语） Zbl 1465.11230号 Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9160, 189-199 (2015).MSC公司：11S85型 18A22型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bhattacharya}，莱克特。注释计算。科学。9160189-199（2015；Zbl 1465.11230） 全文： 内政部 arXiv公司
克里斯蒂安·克劳森;奥利维尔·丹维;Moe Masuko Moessner筛子的特性。 （英语） Zbl 1417.11020号 西奥。计算。科学。 546, 244-256 (2014).MSC公司：11B83号 11号35 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Clausen}等人，Theor。计算。科学。546244--256（2014；Zbl 1417.11020） 全文： 内政部
Helle Hvid Hansen先生;克莱门斯·库普克;Rutten，一月;温特，乔斯特 \（k\）-正则序列的最后一个余代数。 （英语） Zbl 1407.68318号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 363-383 (2014).MSC公司：70年第68季度 11B85号 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}等人，Lect。注释计算。科学。8464，363--383（2014；Zbl 1407.68318） 全文： 内政部
戴维·斯普伦格 自动排列和编织规格的线性化。 （英语） Zbl 1334.11016号 Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298349-365（2013）。MSC公司：11B85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Sprunger｝，电子。注释Theor。计算。科学。298349-365（2013年；Zbl 1334.11016） 全文： 内政部
安德烈·赫伦尼科夫;安德鲁·舒曼 \（p）-adic物理学、无根据的现实和非传统计算。 （英语） Zbl 1258.81047号 \（p\）-Adic数超声分析。申请。 1，第4号，297-306（2009）.MSC公司：81问题65 81第05页 03E70型 60A05型 2005年第68季度 11E95型 PDF格式BibTeX公司 XML格式引用 \textit{A.Khrennikov}和\textit{A.Schumann}，（p\）-Adic数超音波分析。申请。1，编号4297-306（2009年；兹bl 1258.81047） 全文： 内政部