诺里希罗·卡米德 动态拓扑和线性时间逻辑中的删减和完备性。 (英语) Zbl 1260.03032号 日志。分析。,努夫。Sér。 54、第215、379-394号(2011).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。分析。,努夫。Sér。54、第215、379--394号(2011;Zbl 1260.03032)
小岛贤介;Atsushi Igarashi 构造线性时间逻辑:证明系统和克里普克语义学。 (英语) Zbl 1248.03031号 Inf.计算。 209,第12期,1491-1503(2011).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}和\textit{A.Igarashi},Inf.计算。209,第12号,1491--1503(2011;Zbl 1248.03031) 全文: 内政部
海因里希·瓦辛;诺里希罗·卡米德 同步线性时间时序逻辑。 (英语) Zbl 1271.03026号 螺柱日志。 99,编号1-3,365-388(2011).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}和\textit{N.Kamide},Stud.Log。99,编号1--3,365-388(2011;Zbl 1271.03026) 全文: 内政部
诺里希罗·卡米德;海因里希·瓦辛 一种准一致的线性时间时序逻辑。 (英语) Zbl 1228.03012号 芬丹。通知。 106,第1期,1-23页(2011年). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B53号 03B44号 03B62号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing},Fundam。通知。106,编号1,1--23(2011;Zbl 1228.03012) 全文: 内政部
诺里希罗·卡米德 线性时间形式主义的阶段语义。 (英语) Zbl 1216.03034号 日志。J.IGPL公司 19,第1期,121-143(2011).MSC公司:03B44号 03B47型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。J.IGPL 19,第1期,121--143(2011;Zbl 1216.03034) 全文: 内政部