巴兹尔·弗里尔;安德烈亚斯·洛赫比勒;乔舒亚·施奈德;德米特里·特拉泰尔 有界自然函子的商。 (英语) 兹伯利07471712 日志。计算方法。科学。 18,第1号,第23号论文,28页(2022年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{B.Fürer}等人,日志。计算方法。科学。18,第1号,第23号论文,28页(2022;Zbl 07471712) 全文: arXiv公司 链接
戴维·巴恩斯;蒂鲍特·达迪尼尔;卢卡斯海姆斯;Sr Djan Krstić;马丁·拉西克;乔舒亚·施奈德;德米特里·特拉泰尔 用于度量一阶动态逻辑的经过正式验证的优化监控器。 (英语) Zbl 07614527号 佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166, 432-453 (2020).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Lect。注释计算。科学。12166、432--453(2020;Zbl 07614527) 全文: 内政部