×
阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林

通过线性时间演算中的证明搜索走向完备性：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）
全文： 内政部