菲利普·马佐维耶基;辛克莱·班克斯，亨利;卡萝尔·Węgrzycki 带有一元计数器的2-VASS中的可覆盖性是NP。 （英语） Zbl 07770338号 Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13992, 196-217 (2023).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Mazowiecki}等人，Lect。注释计算。科学。13992、196--217（2023；Zbl 07770338） 全文： 内政部 arXiv公司 OA许可证
布隆丁，迈克尔;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·戈勒;克里斯托夫·哈斯;兰科·拉齐奇;皮埃尔·麦肯齐;帕特里克·托茨克 二维状态向量加法系统的可达性问题。 （英语） Zbl 1499.68219号 美国临床医学杂志 68，第5条，第34条，第43页（2021年）.MSC公司：68问题85 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，J.ACM 68，第5号，第34条，43页（2021年；Zbl 1499.68219） 全文： 内政部 链接
奈尔·阿布雷乌;多明戈斯·卡多佐。;Francisca a.M.弗朗西斯卡。;西贝尔·T·M·维纳格尔。 图的主要特征值的一些新方面。 （英语） Zbl 1436.05058号 计算。申请。数学。 39，第1号，第12号文件，第14页（2020）. 审核人：米尔科·勒波维奇（克拉古耶瓦茨） MSC公司：05元50分 05二氧化碳 05C38号 05E30年 PDF格式BibTeX公司 XML格式引用 \textit{N.Abreu}等人，计算。申请。数学。39，第1号，第12号论文，第14页（2020年；Zbl 1436.05058） 全文： 内政部 arXiv公司 链接
卡斯特伦泽Polizzotto 非局部弹性和相关的变分原理。 （英语） Zbl 1014.74003号 国际固体结构杂志。 38，编号42-4327359-7380（2001）. 审核人：Erdoǧan S.öuhubi（马斯拉克/伊斯坦布尔） MSC公司：74A30型 74B99型 74S05号 49S05号 PDF格式BibTeX公司 XML格式引用 \textit{C.Polizzotto}，《国际固体结构杂志》。38，编号42-43，7359-7380（2001；Zbl 1014.74003） 全文： 内政部
彼得·利特尔曼 对称化Kac-Moody代数的收缩模和标准单项式理论。 （英语） Zbl 0915.20022号 美国数学杂志。Soc公司。 11，第3期，551-567（1998）. 审核人：V.Lakshmibai（波士顿） MSC公司：20G05年 17层37 17B67号 14月15日 14层30 PDF格式BibTeX公司 XML格式引用 \textit{P.Littelmann}，J.Am.数学。Soc.11，No.3，551--567（1998；Zbl 0915.20022） 全文： 内政部
叶海亚·法提;克雷格·托维 肯定行动算法。 （英语） Zbl 0594.90053号 数学。程序。 34, 292-301 (1986).MSC公司：90C05（二氧化碳） 65千5 90磅10英寸 90立方厘米 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fathi}和\textit{C.Tovey}，数学。程序。34、292--301（1986年；Zbl 0594.90053） 全文： 内政部