马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔 定价时间自动机的成本和回报。 (英语) Zbl 1483.68168号 Inf.计算。 282,文章ID 104656,17 p.(2022).MSC公司:65年第68季度 03B25号 11日72 2005年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,《信息计算》。282,文章ID 104656,17 p.(2022;Zbl 1483.68168) 全文: 内政部 arXiv公司 链接
马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔 定价时间自动机的成本和回报。 (英语) 兹比尔1483.68167 Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第125条,第14页(2018年)。MSC公司:65年第68季度 03B25号 11日72 2005年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,LIPIcs——莱布尼茨国际程序。通知。107,第125条,第14页(2018;Zbl 1483.68167) 全文: 内政部
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 多维自动机和MSO逻辑。 (英语) Zbl 1356.68130号 理论计算。系统。 59,第2期,231-261(2016).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{V.Perevoshchikov},理论计算。系统。59,第2号,231--261(2016;Zbl 1356.68130) 全文: 内政部 arXiv公司