科斯塔斯·库库贝蒂斯;米哈利斯·亚纳卡基斯 概率验证的复杂性。 (英语) Zbl 0885.68109号 J.协会计算。机器。 42,第4期,第857-907页(1995年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis},J.协会计算。机器。42,第4号,857--907(1995;Zbl 0885.68109) 全文: 内政部
德尼古拉,罗科;Vaandrager,Frits公司 分支互模拟的三种逻辑。 (英语) Zbl 0886.68064号 J.协会计算。机器。 42,第2期,458-487(1995).MSC公司:2005年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}和\textit{F.Vaandrager},J.协会计算。机器。42,第2号,458--487(1995;Zbl 0886.68064) 全文: 内政部 链接
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。 一个真正的时间逻辑。 (英语) Zbl 0807.68065号 J.协会计算。机器。 41,第1期,181-204(1994).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{T.A.Henzinger},J.协会计算。机器。41,编号181--204(1994年;兹bl 0807.68065) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;约夫·肖姆 时间间隔的命题模态逻辑。 (英语) Zbl 0799.68175号 J.协会计算。机器。 38,第4期,935-962页(1991年).MSC公司:68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{Y.Shoham},J.协会计算。机器。38,第4号,935--962(1991;Zbl 0799.68175) 全文: 内政部
马丁·阿巴迪;佐哈尔·曼纳 一阶时序逻辑中的非子句演绎。 (英语) Zbl 0696.68096号 J.协会计算。机器。 37,No.2,279-317(1990).MSC公司:68吨15 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{Z.Manna},J.协会计算。机器。37,第2号,279--317(1990年;Zbl 0696.68096) 全文: 内政部
托马斯·迪安 使用时态层次结构有效地维护大型时态数据库。 (英语) 兹伯利0698.68091 J.协会计算。机器。 36,第4期,687-718(1989).MSC公司:68第20页 68T20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Dean},J.协会计算。机器。36,第4号,687--718(1989;Zbl 0698.68091) 全文: 内政部
西斯特拉,A.P。;E.M.克拉克。 命题线性时序逻辑的复杂性。 (英语) Zbl 0632.68034号 J.协会计算。机器。 32, 733-749 (1985).MSC公司:68问题65 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}和\textit{E.M.Clarke},J.协会计算。机器。32733--749(1985年;Zbl 0632.68034) 全文: 内政部