拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹,P。 递归游戏图的模块化策略。 (英语) Zbl 1088.68099号 西奥。计算。科学。 354,第230-249号(2006年).MSC公司:60年第68季度 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。354,编号2,230--249(2006;Zbl 1088.68099) 全文: 内政部 链接
萨尔瓦多拉托雷;那不勒斯,玛格丽塔 定时树上的有限自动机。 (英语) Zbl 1032.68095号 西奥。计算。科学。 293,第3期,479-505(2003). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}和\textit{M.Napoli},Theor。计算。科学。293,第3号,479--505(2003;Zbl 1032.68095) 全文: 内政部