R·阿隆德里斯。;普利乌什·凯维奇乌斯,R。;Pliuškevičiené,A。;希德拉,H。 时序逻辑的循环型序列计算。 (英语) 兹比尔1462.03012 J.自动化。推理 64,第8期,1663-1684(2020). 审核人:Hirokazu Nishimura(筑波) MSC公司:03B44号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}等人,J.Autom。推理64,No.8,1663--1684(2020;Zbl 1462.03012) 全文: 内政部
托马斯·施图德 关于模态微积分的证明理论。 (英语) Zbl 1163.03014号 螺柱日志。 89,第3期,343-363(2008). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:03B45号 35层03 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Studer},Stud.Log。89,第3号,343--363(2008;Zbl 1163.03014) 全文: 内政部 链接