迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 子结构认知资源逻辑:理论和建模应用。 (英语) Zbl 1479.03012号 J.日志。计算。 29,第8期,1251-1287(2019). 审核人:徐文燕(西安) MSC公司:03B42号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{D.Galmiche}等人,J.Log。计算。29,第8号,1251--1287(2019;Zbl 1479.03012) 全文: 内政部 arXiv公司 OA许可证
加布里埃尔·安德森;大卫·皮姆 系统模型中的信任域:代数、逻辑、效用和组合子。 (英语) Zbl 1448.68439号 J.日志。计算。 28,第4期,665-703(2018).MSC公司:68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Anderson}和\textit{D.Pym},J.Log。计算。28,第4号,665--703(2018;Zbl 1448.68439) 全文: 内政部 链接
迪迪埃·加米歇(编辑);大卫·皮姆(编辑) 前言。 (英语) Zbl 1444.00040号 J.日志。计算。 28,第4号,629-630(2018).MSC公司:00B25型 03-06 03B70号 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Galmiche}(编辑)和\textit{D.Pym}(主编),J.Log。计算。28,第4号,629--630(2018;Zbl 1444.00040) 全文: 内政部
加布里埃尔·安德森;大卫·皮姆 效用的子结构模态逻辑。 (英语) Zbl 1419.03020号 J.日志。计算。 27,第5期,1421-1464(2017).MSC公司:03B45号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{G.Anderson}和\textit{D.Pym},J.Log。计算。27,第5号,1421--1464(2017;Zbl 1419.03020) 全文: 内政部 OA许可证
马修·科林森;凯文·麦克唐纳;西蒙·多尔蒂;大卫·皮姆 勘误表:“分层图的子结构逻辑”。 (英语) Zbl 1361.03014号 J.日志。计算。 27,第1期,413-414(2017).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,J.Log。计算。27,编号1413-414(2017;兹bl 1361.03014) 全文: 内政部
马修·科林森;凯文·麦克唐纳;大卫·皮姆 分层图逻辑作为访问控制策略模型的断言语言。 (英语) Zbl 1361.68223号 J.日志。计算。 27,第1号,41-80(2017).MSC公司:68T27型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,J.Log。计算。27,第1号,41-80(2017;Zbl 1361.68223) 全文: 内政部 链接
马修·科林森;凯文·麦克唐纳;大卫·派姆 分层图的子结构逻辑。 (英语) Zbl 1303.03055号 J.日志。计算。 24,第4期,953-988(2014); 勘误表同上,第27号,第1期,第413-414页(2017年)。MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,J.Log。计算。24,第4号,953--988(2014;Zbl 1303.03055) 全文: 内政部 链接
大卫·皮姆;艾克·里特;埃德蒙·罗宾逊 经典命题矩阵方法的证明理论分析。 (英语) Zbl 1327.03042号 J.日志。计算。 24,第1期,283-301(2014).MSC公司:03财年03 03B05号 03B35型 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}等人,J.Log。计算。24,编号1283-301(2014年;兹bl 1327.03042) 全文: 内政部 链接
马修·科林森;布莱恩·莫纳汉;大卫·皮姆 定位资源的逻辑和计算理论。 (英语) Zbl 1185.68440号 J.日志。计算。 19,第6期,1207-1244(2009).MSC公司:68问题85 03B47号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,J.Log。计算。19,第6号,1207--1244(2009;Zbl 1185.68440) 全文: 内政部 链接
大卫·皮姆(编辑) 特刊:2004年7月,芬兰图尔库,LICS-ICALP’04联合资源、过程和程序逻辑研讨会(LRPP)的语义角和论文选集。 (英语) Zbl 1101.03304号 J.日志。计算。16,第1期,155页(2006年)。 MSC公司:03-06 68-06 00B25型 PDF格式BibTeX公司 XML格式
萨明·伊斯蒂亚克;大卫·J·派姆。 依赖型聚束(lambda)演算的Kripke资源模型。 (英语) Zbl 1017.03005号 J.日志。计算。 12,第6期,1061-1104(2002). 审核人:马丁·邦德(伍伦贡) MSC公司:03B40型 03B70号 03B47号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ishtiaq}和\textit{D.J.Pym},J.Log。计算。12,第6号,1061--1104(2002;Zbl 1017.03005) 全文: 内政部
艾克·里特;大卫·皮姆;林肯·沃伦 经典和直觉分辨率的证明术语。 (英语) Zbl 0958.03012号 J.日志。计算。 10,第2期,173-207(2000). 审核人:N.Zamov(喀山) MSC公司:03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Ritter}等人,J.Log。计算。10,第2号,173--207(2000;Zbl 0958.03012) 全文: 内政部 链接
伊什蒂亚克,S.S。;皮姆·D·J。 自然演绎的相关分析。 (英语) Zbl 0915.03022号 J.日志。计算。 8,第6号,809-838(1998).MSC公司:03B47号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Ishtiaq}和\textit{D.J.Pym},J.Log。计算。8,第6号,809--838(1998;Zbl 0915.03022) 全文: 内政部 链接
大卫·J·派姆。;詹姆斯·哈兰德(James A.Harland)。 线性逻辑规划的统一证明理论研究。 (英语) Zbl 0797.03054号 J.日志。计算。 4,第2期,175-207(1994). 审核人:G.Mints(斯坦福) MSC公司:03财年03 03B20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pym}和\textit{J.A.Harland},J.Log。计算。4,第2号,175--207(1994;Zbl 0797.03054) 全文: 内政部 链接