保罗·A·S·维洛索。;Sheila R.M.维洛索。;贝内维特斯,马里奥·R·F·。 关于模态的图演算。 (英语) Zbl 1401.03047号 西奥。计算。科学。 685, 83-103 (2017). 审核人:Max A.Freund(圣何塞) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}等人,Theor。计算。科学。685,83-103(2017;Zbl 1401.03047) 全文: 内政部
埃内斯托·科佩罗;诺拉·萨兹;阿尔瓦罗·塔西斯特罗 使用斯托顿代换的lambda演算的形式元理论。 (英语) Zbl 1383.03021号 西奥。计算。科学。 685, 65-82 (2017). 审核人:马丁·邦德(伍伦贡) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Copello}等人,Theor。计算。科学。685、65-82(2017年;Zbl 1383.03021) 全文: 内政部
卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并发行为和关注线性逻辑。 (英语) 兹比尔1371.68197 西奥。计算。科学。 685,46-64(2017).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}和\textit{E.Pimentel},Theor。计算。科学。685、46-64(2017年;Zbl 1371.68197) 全文: 内政部
贝内维迪斯,马里奥 PDL中具有并行算子的双相似和逻辑等价程序。 (英语) Zbl 1371.68185号 西奥。计算。科学。 685, 23-45 (2017).MSC公司:68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.贝内维提斯},提奥。计算。科学。685、23-45(2017年;Zbl 1371.68185) 全文: 内政部
桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯 用于分析访问控制策略的基于图形的框架。 (英语) Zbl 1371.68174号 西奥。计算。科学。 685, 3-22 (2017).MSC公司:60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}和\textit{M.Fernández},Theor。计算。科学。685、3--22(2017年;Zbl 1371.68174) 全文: 内政部 链接
毛里西奥·阿亚拉·林科恩(编辑);伊恩·麦基(编辑);乌戈·蒙塔纳里(编辑) 前言:逻辑和语义框架及应用程序。 (英语) Zbl 1372.00083号 西奥。计算。科学。 685, 1-2 (2017).MSC公司:00B25型 68-06 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}(编辑)等人,Theor。计算。科学。685,1--2(2017;Zbl 1372.00083) 全文: 内政部