费尔南多·罗莎·维拉尔多 为瞬态安全关联创建名称的Petri网。 (英语) Zbl 1360.68635号 学报信息。 50,编号7-8,403-436(2013).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo},《信息学报》第50期,第7--8、403--436号(2013年;Zbl 1360.68635) 全文: 内政部
克莱莉亚·德·费利塞 关于因子分解猜想的注记。 (英语) Zbl 1377.94075号 学报信息。 50,编号7-8,381-402(2013).MSC公司:94B25型 94B40码 2010年1月20日 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.De Felice},《信息学报》第50期,第7--8、381--402号(2013年;Zbl 1377.94075) 全文: 内政部 arXiv公司
Seo,郑邦;松武公园 具有交集类型和模态类型的判断子类型系统。 (英语) Zbl 1354.03037号 学报信息。 50,编号7-8,359-380(2013).MSC公司:03B70号 03B15号机组 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Seo}和\textit{S.Park},《学报》第50期,第7--8359--380号(2013年;Zbl 1354.03037) 全文: 内政部