诺里希罗·卡米德 支持拒绝的Gentzen-style计算,用于命题非自由线性时间时序逻辑。 (英语) Zbl 07767288号 螺柱日志。 111,第6期,979-1014(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。111,编号6,979--1014(2023;Zbl 07767288) 全文: 内政部
Jose Gaintzarain;蒙特塞拉特赫莫;帕基·卢西奥;玛丽莎·纳瓦罗;费尔南多·奥雷贾斯 无不变子句时间解析。 (英语) Zbl 1408.03006号 J.汽车。推理 50,第1期,1-49页(2013年).MSC公司:03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}等人,J.Autom。推理50,No.1,1-49(2013;Zbl 1408.03006) 全文: 内政部