Dimitar P.Guelev。;本·莫斯科夫斯基 离散时间区间时序逻辑的分离定理。 (英语) Zbl 1517.03014号 J.应用。非类别。日志。 32,1号,28-54(2022);更正同上,32,第4号,335-338(2022)。MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{B.Moszkowski},J.Appl。非类别。日志。32,编号1,28--54(2022;Zbl 1517.03014) 全文: 内政部
本·莫斯科夫斯基(编辑);迪米塔尔·盖列夫(编辑);马丁·勒克(编辑) 客座编辑为《间隔时间逻辑》专刊撰写的前言。 (英语) 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) 全文: 内政部