罗马克里希纳,Y.S。;梅利亚·史密斯,P.M。;莫瑟,L.E。;狄龙,L.K。;G.库蒂。 区间逻辑及其决策过程。一: 区间逻辑。 (英语) Zbl 0872.03019号 西奥。计算。科学。 166,第1-2、1-47号(1996年).MSC公司:03B80号 2010年第68季度 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.Ramakrishna}等人,Theor。计算。科学。166,编号1--2,1-47(1996;Zbl 0872.03019) 全文: DOI程序
莫瑟,L.E。;梅利亚·史密斯,P.M。;罗马克里希纳,Y.S。;G.库蒂。;狄龙,L.K。 图形时序逻辑中的自动演绎。 (英语) Zbl 0836.03012号 J.应用。非类别。日志。 6,第1期,29-47(1996).MSC公司:03B35型 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Moser}等人,J.Appl。非类别。日志。6,编号1,29-47(1996;Zbl 0836.03012) 全文: DOI程序
罗马克里希纳,Y.S。;狄龙,L.K。;莫瑟,L.E。;梅利亚·史密斯,P.M。;G.库蒂。 实时区间逻辑及其决策过程。 (英语) Zbl 1009.68517号 萨达纳 21,第2期,147-184(1996).MSC公司:60年第68季度 03B25号 03B45号 03B70型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.罗摩克里希纳}等人,Sādhanā21,第2号,147-184(1996年;Zbl 1009.68517) 全文: DOI程序