雷巴科夫,V。 离散线性时序逻辑与当前时间点簇,决定算法。 (英语) 兹比尔1298.03063 日志。日志。菲洛斯。 17,编号1-2143-161(2008). 引用于1文件 MSC公司: 03B44号 时间逻辑 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},日志。日志。菲洛斯。17、编号1--2、143-161(2008;Zbl 1298.03063) 全文: 内政部