达斯，阿努帕姆；玛丽安娜·吉兰多 传递闭包逻辑的循环超连续系统。 （英语） Zbl 07739777号 J.汽车。推理 67，第3号，第27号论文，40页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{M.Girlando}，J.Autom。推理67，第3号，论文27，40页（2023；Zbl 07739777） 全文： 内政部
阿尔伯特·阿塞里亚斯；马西莫·劳里亚 命题逻辑中的循环（但可靠）证明。 （英语） Zbl 07713581号 ACM事务处理。计算。日志。 24，第3号，第20号论文，第26页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{M.Lauria}，ACM翻译。计算。日志。24，第3号，第20号论文，第26页（2023；Zbl 07713581） 全文： 内政部
罗马斯·阿隆德里斯；普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇；哈洛达斯·吉德拉 时序逻辑演算的循环检查规范。 （英语） Zbl 07625363号 螺柱日志。 110，第6期，1507-1536（2022）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}等人，研究日志。110，编号6，1507--1536（2022；Zbl 07625363） 全文： 内政部
约翰内斯·马蒂；维尼马，伊德 无交互微积分的聚焦系统。 （英语） Zbl 07532527号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12842371-388（2021年）。MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Marti}和\textit{Y.Venema}，莱克特。票据计算。科学。12842、371--388（2021；Zbl 07532527） 全文： 内政部
科恩、利隆 归纳法和共归纳法的非资金扣除。 （英语） 兹比尔07437069 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12699, 3-24 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}，莱克特。票据计算。科学。12699，3-24（2021；兹bl 07437069） 全文： 内政部
海宁·巴索尔德 流量共导：纤维化的后期形态。 （英语） Zbl 07649891号 Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第8条，第22页（2019年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Basold}，LIPIcs——莱布尼茨国际程序。通知。139，第8条，第22页（2019年；Zbl 07649891） 全文： 内政部