托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 灵活的正确施工规划。 (英语) 兹伯利07731927 日志。方法计算。科学。 19,第2号,第16号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人,日志。方法计算。科学。19,第2号,第16号论文,36页(2023;Zbl 07731927) 全文: 内政部 arXiv公司 OA许可证
贾斯敏·克里斯蒂安·布兰切特;Böhme,萨沙;安德烈·波佩斯库;斯莫尔博内,尼古拉斯 编码单态和多态类型。 (英语) Zbl 1445.68327号 日志。方法计算。科学。 12,第4号,第13号论文,52页(2016年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人,日志。方法计算。科学。12,第4号,第13号论文,52页(2016;Zbl 1445.68327) 全文: 内政部 arXiv公司