托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;菲利普·加德纳 关于指定和验证并发模块的观点。 (英语) 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 1251.68153号 西奥。计算。科学。 431, 40-55 (2012).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{P.Gardner},Theor。计算。科学。431、40-55(2012年;Zbl 1251.68153) 全文: 内政部
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 (英语) 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) 全文: 内政部 链接
卢卡·卡德利;艾曼纽尔·卡隆;菲利普·加德纳;奥赞·卡拉马诺·乌拉尔;安德鲁·菲利普斯 Rho-GTP结合蛋白的过程模型。 (英语) Zbl 1173.68040号 西奥。计算。科学。 410,编号33-34,3166-3185(2009).MSC公司:68问题85 92B05型 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Theor。计算。科学。410,编号33-343166-3185(2009;Zbl 1173.68040) 全文: 内政部
穆罕默德·拉扎;菲利普·加德纳 局部推理中的足迹。 (英语) Zbl 1163.68011号 日志。方法计算。科学。 5,第2期,论文4,27页(2009年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Raza}和\textit{P.Gardner},日志。方法计算。科学。5,第2期,论文4,27页(2009年;Zbl 1163.68011) 全文: 内政部
塞尔吉奥·马菲斯;菲利普·加德纳 动态web数据的行为等效性。 (英语) Zbl 1135.68005号 J.日志。阿尔盖布。程序。 75,第1号,86-138(2008).MSC公司:68M10个 68问题85 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Maffeis}和\textit{P.Gardner},J.Log。阿尔盖布。程序。75,编号1,86--138(2008;Zbl 1135.68005) 全文: 内政部
菲利普·加德纳;科西莫·拉内夫;卢西安·维希克 线性货运代理。 (英语) Zbl 1129.68047号 Inf.计算。 205,第10号,1526-1550(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}等人,《信息计算》。205,第10号,1526--1550(2007;Zbl 1129.68047) 全文: 内政部
阿努杰,达瓦尔;菲利普·加德纳;乔治·盖利 图形逻辑的表达性和复杂性。 (英语) 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) 全文: 内政部 链接
卢西安·维希克;菲利普·加德纳 明确融合。 (英语) Zbl 1077.68066号 西奥。计算。科学。 340,第3期,606-630(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Wischik}和\textit{P.Gardner},Theor。计算。科学。340,编号3,606——630(2005年;Zbl 1077.68066) 全文: 内政部
菲利普·加德纳;塞尔吉奥·马菲斯 动态web数据建模。 (英语) Zbl 1077.68004号 西奥。计算。科学。 342,第1期,104-131(2005).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}和\textit{S.Maffeis},Theor。计算。科学。342,编号1,104--131(2005;Zbl 1077.68004) 全文: 内政部 链接
菲利普·加德纳 闭合动作计算。 (英语) Zbl 0954.68114号 西奥。计算。科学。 228,第1-2号,77-103(1999).MSC公司:68问题85 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{P.加德纳},Theor。计算。科学。228,编号1--2,77-103(1999;Zbl 0954.68114) 全文: 内政部
菲利普·加德纳 逻辑学及其代表类型理论之间的等价性。 (英语) Zbl 0868.03003号 数学。结构。计算。科学。 5,第3期,323-349(1995). 审核人:S.Martini(乌迪内) MSC公司:03B15号机组 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner},数学。结构。计算。科学。5,第3号,323--349(1995;Zbl 0868.03003) 全文: 内政部