弗拉基米尔·雷巴科夫 传递时态逻辑中允许的规则{T}(T)_{\mathrm(马特姆){S} 4个}\),充分条件。 (英语) Zbl 1209.03011号 西奥。计算。科学。 411,第50号,4323-4332(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Rybakov},Theor。计算。科学。411、50号、4323--4332(2010;Zbl 1209.03011) 全文: 内政部
里巴科夫,V。 带操作的分支时间逻辑\(mathcal{BTL}^{text{U,S}}_{text{N},\text{N}^{-1}}(mathcal{Z})_{alpha}\)直到和自基于整数束、逻辑序列、判定算法。 (英语) 兹比尔1148.03011 理论计算。系统。 43,第2期,254-271(2008).MSC公司:03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},理论计算。系统。43,第2号,254--271(2008;Zbl 1148.03011) 全文: 内政部