萨尔瓦多拉托雷;那不勒斯,玛格丽塔;Gennaro帕拉托 作用域范围内的多级下推系统的可达性。 (英语) Zbl 1496.68235号 Inf.计算。 275,文章ID 104588,26 p.(2020).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《信息计算》。275,文章ID 104588,26 p.(2020;Zbl 1496.68235) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚,C。;穆罕默德·法乌齐(Mohamed Faouzi Atig) 数据多下推自动机。 (英语) 兹比尔1442.68076 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条,第38条,第17页(2017年)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。85,第38条,第17页(2017;Zbl 1442.68076) 全文: 内政部
H.J.S.巴斯滕。 使用多层下推自动机进行无上下文歧义检测。 (英语) Zbl 1436.68158号 Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840, 1-12 (2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.J.S.Basten},莱克特。注释计算。科学。9840,1-12(2016;Zbl 1436.68158) 全文: 内政部 链接
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;Gennaro帕拉托 基于范围的下推语言。 (英语) Zbl 1344.68124号 发现的国际期刊。计算。科学。 27,第2期,215-233(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,国际期刊发现。计算。科学。27,第2号,215--233(2016;Zbl 1344.68124) 全文: 内政部