mnesc博士，Isabela;都铎Jebelean AlCons公司：中排序算法的演绎综合枣灰蝶属. （英语） Zbl 07500651号 Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 314-333 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Drámnesc}和\textit{T.Jebelean}，莱克特。注释计算。科学。12819、314--333（2021；Zbl 07500651） 全文： 内政部
沙迦·伊扎基;希拉·佩勒;纳迪亚·波里卡波娃;鲁本·罗伊，N.S。;伊利亚·谢尔盖 带有指针的程序演绎合成：技术、挑战、机会（特邀论文）。 （英语） Zbl 1493.68053号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 110-134 (2021).MSC公司：68N01型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Itzhaky}等人，Lect。注释计算。科学。12759、110-134（2021年；Zbl 1493.68053） 全文： 内政部 OA许可证
杰克·休斯;多米尼克乌节 从分级线性类型中综合出有资源的程序。 （英语） Zbl 07496646号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 151-170 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Hughes}和\textit{D.Orchard}，莱克特。注释计算。科学。12561、151--170（2021；Zbl 07496646） 全文： 内政部 OA许可证
Nummelin，维萨卡;亚历山大·本特坎普;索菲·托雷特;佩塔·武克米罗维奇 与一级布尔的叠加和处理中子句化。 （英语） Zbl 07437090号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 378-395 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Nummelin}等人，Lect。注释计算。科学。12699，378--395（2021；Zbl 07437090） 全文： 内政部 OA许可证
安德烈亚斯·休姆伯格;劳拉·科瓦奇 基于代数的回路及其不变量综合（特邀论文）。 （英语） Zbl 1472.68036号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 17-28 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Humenberger}和\textit{L.Kovács}，莱克特。注释计算。科学。12597，17-28（2021；Zbl 1472.68036） 全文： 内政部 arXiv公司
伊萨贝拉博士;都铎Jebelean 基于多集的排序算法综合枣灰蝶属. （英语） Zbl 1455.68245号 J.日志。阿尔盖布。方法计划。 119，文章ID 100635，26 p.（2021）.MSC公司：68伏15 第68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{I.Drámnesc}和\textit{T.Jebelean}，J.Log。阿尔盖布。方法程序。119，文章ID 100635，26 p.（2021；Zbl 1455.68245） 全文： 内政部 arXiv公司