×

找到3个文档(结果1-3)

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格式引用

双向嵌套加权自动机。 (英语) 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格式引用

筛选结果依据…

出版年份

主字段

软件