Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 霍尔50年的逻辑。 (英语) Zbl 1427.68008号 正式Asp。计算。 31,第6号,751-807(2019).MSC公司:68-03 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Oderog},正式Asp。计算。31,编号:6751-807(2019;兹bl 1427.68008) 全文: 内政部 arXiv公司 链接
加布里埃尔·埃布纳;斯特凡·赫兹尔;亚历山大·莱奇;吉赛尔·赖斯;丹尼尔·韦勒 关于量化引理的生成。 (英语) Zbl 1459.03011号 J.汽车。推理 63,第1号,95-126(2019).MSC公司:03B35型 05年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ebner}等人,J.Autom。推理63,No.1,95-126(2019;Zbl 1459.03011) 全文: 内政部
简·戈兹尼;布鲁诺沃尔岑洛格尔古 通过降低单位子句来压缩一阶分辨率证明。 (英语) Zbl 1465.68283号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 356-366 (2015).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Gorzny}和\textit{B.Woltzenogel古},莱克托。注释计算。科学。9195、356--366(2015;Zbl 1465.68283) 全文: 内政部
尼科利奇,乌里卡;斯波托,福斯托 推断数组的完全初始化。 (英语) 兹比尔1292.68104 西奥。计算。科学。 484, 16-40 (2013).MSC公司:68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Đ.Nikolić}和\textit{F.Spoto},Theor。计算。科学。484,16-40(2013;Zbl 1292.68104) 全文: 内政部