乌迪·博克 定量与加权自动机。 (英语) Zbl 07670969号 Bell,Paul C.(编辑)等人,《可达性问题》。第15届国际会议,RP 2021,英国利物浦,2021年10月25-27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13035,3-18(2021)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.Boker},莱克特。注释计算。科学。13035,3-18(2021;Zbl 07670969) 全文: 内政部
贾库布·米查利辛;奥托普,简 Büchi下推自动机的平均堆栈成本。 (英语) Zbl 1491.68100号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第42条,第13页(2018年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaliszyn}和\textit{J.Otop},LIPIcs——莱布尼茨国际程序。通知。93,第42条,第13页(2018年;Zbl 1491.68100) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 双向嵌套加权自动机。 (英语) Zbl 1442.68087号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第5条,第16页(2017年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,LIPIcs——莱布尼茨国际程序。通知。85,第5条,第16页(2017年;兹bl 1442.68087) 全文: 内政部 arXiv公司