安卡·穆斯科尔;斯文·舍韦 控制松散合作的流程。 (英语) Zbl 1332.68015号 西奥。计算。科学。 611, 136-141 (2016)。MSC公司:64岁以下 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{S.Schewe},Theor。计算。科学。611136--141(2016;Zbl 1332.68015) 全文: 内政部
徐明;张丽君;大卫·詹森(David N.Jansen)。;朱慧彪;杨宗元 马尔可夫报酬模型上的多阶段直到公式:代数方法。 (英语) Zbl 1332.68143号 西奥。计算。科学。 611, 116-135 (2016)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。611116--135(2016;Zbl 1332.68143) 全文: 内政部
横山,铁雄;霍尔格·博克·阿克塞尔森;罗伯特·吕克 可逆流程图语言基础。 (英语) Zbl 1332.68028号 西奥。计算。科学。 611, 87-115 (2016)。MSC公司:68号30 68甲15 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokoyama}等人,Theor。计算。科学。611,87-115(2016;Zbl 1332.68028) 全文: 内政部
弗雷德里克·布兰基 基于Girard的可约性概念,在(lambda)项上终止重写关系。 (英语) Zbl 1332.68103号 西奥。计算。科学。 611, 50-86 (2016)。MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{F.布兰基},Theor。计算。科学。611、50-86(2016;Zbl 1332.68103) 全文: 内政部 arXiv公司
伏玉溪 互动理论。 (英语) Zbl 1353.68082号 西奥。计算。科学。 611, 1-49 (2016)。MSC公司:2005年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \Theor,textit{Y.Fu}。计算。科学。611、1--49(2016;Zbl 1353.68082) 全文: 内政部