本·莫斯科夫斯基;Dimitar P.Guelev。 时间投影在交错并发中的应用。 (英语) Zbl 1370.68216号 正式Asp。计算。 29,第4号,705-750(2017).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski}和\textit{D.P.Guelev},正式Asp。计算。29,第4号,705--750(2017;Zbl 1370.68216) 全文: 内政部
本·莫斯科夫斯基(编辑);迪米塔尔·盖列夫(编辑);马丁·勒克(编辑) 客座编辑为《间隔时间逻辑》专刊撰写的前言。 (英语) Zbl 1298.00328号 安。数学。Artif公司。智力。 71,编号1-3,1-9(2014).MSC公司:00B25型 03-06 68-06 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski}(编辑)等,《数学年鉴》。Artif公司。智力。71,编号1--3,1--9(2014;Zbl 1298.00328) 全文: 内政部
Dimitar P.Guelev。;洪丹凡 关于带迭代的持续时间演算的完备性和可判定性。 (英语) Zbl 1108.68074号 西奥。计算。科学。 337,编号1-3,278-304(2005).MSC公司:60年第68季度 03B25号 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{D.Van Hung},Theor。计算。科学。337,编号1--3,278--304(2005;Zbl 1108.68074) 全文: 内政部
D.圭列夫。 持续时间演算中的逻辑插值和状态投影。 (英语) Zbl 1181.03013号 J.应用。非类别。日志。 14,第1-2期,181-208(2004).MSC公司:03B44号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Guelev},J.应用。非类别。日志。14,编号1--2,181-208(2004;Zbl 1181.03013) 全文: 内政部
D.圭列夫。;当文雄(Dang Van Hung) 持续时间演算中状态投影的相对完整公理化。 (英语) 兹比尔1181.03014 J.应用。非类别。日志。 14,编号1-2,149-180(2004).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Guelev}和\textit{Dang Van Hung},J.Appl。非类别。日志。14,编号1--2149-180(2004;Zbl 1181.03014) 全文: 内政部
Dimitar P.Guelev。;Van Hung,Dang先生 在持续时间演算中为状态添加前缀和投影。 (英语) Zbl 1270.68169号 Asarin,Eugene(编辑)等人,TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录(ETAPS 2002年卫星活动)。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记65,第6期,101-119(2002)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{D.Van Hung},电子。理论注释。计算。科学。65,No.6,101--119(2002;Zbl 1270.68169) 全文: 内政部
Dimitar P.Guelev。 具有定性概率的命题动态逻辑。 (英语) Zbl 0939.03028号 J.菲洛斯。日志。 28,第6号,575-605(1999).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev},J.Philos(费罗斯)。日志。28,第6号,575--605(1999;Zbl 0939.03028) 全文: 内政部