菲利普·马里奇 通过浅层嵌入Isabelle/HOL对现代SAT解算器进行形式化验证。 (英语) Zbl 1208.68205号 西奥。计算。科学。 411,第50号,4333-4356(2010)。MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{F.Marić},Theor。计算。科学。411,编号5034333-4356(2010年;兹bl 1208.68205) 全文: 内政部
弗拉基米尔·里巴科夫 传递时态逻辑中允许的规则{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) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 概率时间自动机的弱互模拟。 (英语) Zbl 1208.68160号 西奥。计算。科学。 411,第50号,4291-4322(2010)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Theor。计算。科学。411,第50号,4291--4322(2010;Zbl 1208.68160) 全文: 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于传递框架和有限传递框架上的(mu)-演算。 (英语) Zbl 1208.68145号 西奥。计算。科学。 411,第50号,4273-4290(2010)。MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'agostino}和\textit{G.Lenzi},Theor。计算。科学。411,第50号,4273--4290(2010;Zbl 1208.68145) 全文: 内政部