萨尔瓦多拉托雷;那不勒斯,玛格丽塔;Gennaro帕拉托 作用域范围内的多级下推系统的可达性。 (英语) Zbl 1496.68235号 Inf.计算。 275,文章ID 104588,26 p.(2020).MSC公司:第68季度85 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《信息计算》。275,文章ID 104588,26 p.(2020;Zbl 1496.68235) 全文: 内政部
德克雷森佐,I。;拉托雷,S。;Y.Velner。 直观的下推模块化游戏。 (英语) Zbl 1362.68166号 Inf.计算。 253,第2部分,204-223(2017).MSC公司:第68季度第60季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{I.De Crescenzo}等人,信息计算。253,第2部分,204--223(2017;Zbl 1362.68166) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;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) 全文: 内政部
巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯,玛格丽塔 参数度量时间间隔逻辑。 (英语) Zbl 1317.68112号 西奥。计算。科学。 564, 131-148 (2015).MSC公司:第68季度第60季度 03年2月25日 03B44号 05年3月 2017年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{B.Di Giampaolo}等人,Theor。计算。科学。564131-148(2015;Zbl 1317.68112) 全文: 内政部
马可·费拉;萨尔瓦多拉托雷;阿尼埃洛·穆拉诺 时间博弈的自动机理论决策。 (英语) Zbl 1301.68177号 西奥。计算。科学。 515, 46-63 (2014). 审核人:维克托·舒潘(法国) MSC公司:第68季度第60季度 91A05级 91A43型 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella}等人,Theor。计算。科学。515、46-63(2014年;Zbl 1301.68177) 全文: 内政部
拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·帕帕斯。 加权时间自动机中的最优路径。 (英语) Zbl 1068.68080号 西奥。计算。科学。 318,第3期,297-322(2004).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。318,第3号,297--322(2004;Zbl 1068.68080) 全文: 内政部