安东内拉·桑顿;吉利奥拉·瓦格利尼 定向模型检查CCS过程中的抽象简化。 (英语) Zbl 1282.68167号 学报信息。 49,第5期,313-341(2012). 审核人:Angelo Furfaro(伦德) MSC公司:60年第68季度 68问题85 68T20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},《学报》第49期,第5期,第313--341页(2012年;Zbl 1282.68167) 全文: 内政部
沃尔特·古特曼 迭代代数和无限计算代数。 (英语) Zbl 1279.68078号 学报信息。 49,第5期,343-359(2012).MSC公司:2005年第68季度 70年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},《信息学报》第49期,第5期,第343--359页(2012年;Zbl 1279.68078) 全文: 内政部
巴斯蒂安·卡茨;伊格纳斯·拉特;格哈德·沃金格 切换图的算法研究。 (英语) Zbl 1251.05169号 学报信息。 49,第5期,295-312(2012).MSC公司:05C85号 05年4月40日 68兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Katz}等人,《学报》第49期,第5期,第295--312页(2012年;Zbl 1251.05169) 全文: 内政部
范成明;Huang,Cheng Chih黄成智;曾克莉丝汀·奇芬;王,Jen-Tse 在某些操作下,语言的前缀基元湮灭符。 (英语) Zbl 1279.68151号 学报信息。 49,第5期,281-293(2012).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Fan}等人,《学报》第49期,第5期,第281--293页(2012年;Zbl 1279.68151) 全文: 内政部