曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 定时下推语言的逻辑特征。 （英语） Zbl 1466.68050号 Beklemishev，Lev D.（编辑）等人，《计算机科学——理论与应用》。2015年7月13日至17日，第十届俄罗斯国际计算机科学研讨会，CSR 2015，俄罗斯Listvyanka。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9139, 189-203 (2015).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{V.Perevoshchikov}，莱克特。注释计算。科学。9139，189--203（2015；Zbl 1466.68050） 全文： 内政部
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 加权定时下推自动机的逻辑。 （英语） Zbl 1465.68142号 Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9300, 153-173 (2015).MSC公司：65年第68季度 03B16号 05年3月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{V.Perevoshchikov}，莱克特。注释计算。科学。9300，153-173（2015年；兹比尔1465.68142） 全文： 内政部
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 加权时间自动机和加权相对距离逻辑的Nivat定理。 （英语） Zbl 1409.68158号 Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，第41届国际学术讨论会，ICALP 2014，丹麦哥本哈根。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573, 171-182 (2014).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛M.Droste｝和\textit｛V.Perevoschchikov｝，Lect。注释计算。科学。8573、171--182（2014；Zbl 1409.68158） 全文： 内政部 arXiv公司