托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;菲利普·加德纳 关于指定和验证并发模块的观点。 (英语) Zbl 1395.68187号 J.日志。阿尔盖布。方法计划。 98, 1-25 (2018).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Dinsdale-Young}等人,J.Log。阿尔盖布。方法程序。98,1-25(2018;Zbl 1395.68187) 全文: 内政部 OA许可证
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 (英语) Zbl 1200.68224号 Inf.计算。 208,第5期,474-499(2010).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人,信息计算。208,第5号,474--499(2010;Zbl 1200.68224) 全文: 内政部 链接
阿努吉·达瓦尔;菲利普·加德纳;乔治·盖利 图形逻辑的表达性和复杂性。 (英语) Zbl 1114.03028号 Inf.计算。 205,第3号,263-310(2007年).MSC公司:03B70型 第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人,《信息计算》。205,第3号,263--310(2007;Zbl 1114.03028) 全文: 内政部 链接