达斯,阿努帕姆;玛丽安娜·吉兰多 传递闭包逻辑的循环超连续系统。 (英文) Zbl 07739777号 J.汽车。推理 67,第3号,第27号论文,40页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{M.Girlando},J.Autom。推理67,第3号,论文27,40页(2023;Zbl 07739777) 全文: 内政部
R·阿隆德里斯。;普利乌什·凯维奇乌斯,R。;Pliuškevičiené,A。;希德拉,H。 时序逻辑的循环型序列计算。 (英文) Zbl 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) 全文: 内政部