阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林 通过线性时间演算中的证明搜索走向完备性:Büchi包含的情况。 (英语) Zbl 1401.68193号 2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。377-386 (2016). 引用于三文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 03B45号 模态逻辑(包括规范逻辑) 03B70号 计算机科学中的逻辑 05年3月 自动机和与逻辑问题有关的形式语法 07年3月 证明的结构 关键词:(co)诱导;循环证明;微积分;奇偶自动机;证据研究;Safra建筑;矢列演算 PDF格式BibTeX公司 XML格式引用 \textit{A.Doumane}等人,摘自:2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS,美国纽约市,2016年7月5-8日。纽约州纽约市:计算机协会(ACM)。377--386(2016;Zbl 1401.68193) 全文: 内政部