阿尔伯特·阿塞里亚斯;马西莫·劳里亚 命题逻辑中的循环(但健全)证明。 (英语) 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) 全文: 内政部
奥利弗·弗里德曼;费利克斯·克莱特克;马丁·兰格 基于Ramsey的可视下推自动机包含检查。 (英语) Zbl 1367.68169号 ACM变速器。计算。日志。 第16号第4条第34条第24页(2015年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}等人,《美国医学杂志》。计算。日志。16,第4号,第34条,24页(2015;Zbl 1367.68169) 全文: 内政部