编辑配置文件(在新选项卡中打开) 大卫·J·派姆。 合著者距离 作者ID: 彼得·戴维德-j 发布日期: 大卫·皮姆;大卫·J·派姆。;皮姆·D·J。;皮姆·D·。 更多。。。较少的 已编制索引的文档: 69出版物自1990年以来,包括3本书和9附加arXiv预打印 3作为编辑的贡献 合著者: 25位合著者具有66联合出版物 224位合著者 全部的 前5名合著者 6 单作者的 12 马修·科林森 8 迪迪埃·加米歇 8 亚历山大五世(Alexander V.Gheorghiu)。 8 艾克·里特 7 西蒙·多尔蒂 6 林肯·A·沃伦。 5 詹姆斯·哈兰德(James A.Harland)。 4 Edmund P.罗宾逊。 三 加布里埃尔·安德森 三 顾涛 三 萨明·伊斯蒂亚克 三 凯文·麦克唐纳 三 克里斯·托夫茨 2 弗雷德里克·达尔奎斯特 2 蒂莫·埃克哈特 2 卡斯滕·范尔曼 2 皮埃尔·金梅尔 2 丹尼尔·梅里 2 布莱恩·莫纳汉 2 O'Hearn,Peter W。 1 巴勃罗·A·阿梅林。 1 Jean-RenéCourtault 1 盖·安德鲁·麦库斯克 1 迈克尔·威尼科夫 1 杨红seok 全部的 前5名系列 14 逻辑与计算杂志 6 理论计算机科学 4 计算的形式方面 4 MSCS公司。计算机科学中的数学结构 2 纯粹与应用代数杂志 2 Studia Logica公司 2 计算机科学中的逻辑方法 1 逻辑科公报 1 国际计算机科学基础杂志 1 符号逻辑公报 1 ACM计算逻辑事务 1 牛津逻辑指南 1 应用逻辑系列 1 程序设计中的逻辑和代数方法杂志 1 系统 全部的 前5名领域 59 数学逻辑和基础(03-XX) 30 计算机科学(68至XX) 4 一般性和全局性主题;集合(00-XX) 2 范畴理论;同调代数(18-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 49出版物有被引用439次194文件 引用人▼ 年份▼ 捆绑暗示的逻辑。 Zbl 0930.03095号 O'Hearn,Peter W。;大卫·J·派姆。 100 1999 串蕴涵逻辑的语义和证明理论。 Zbl 1068.03001号 大卫·J·派姆。 49 2002 可能的世界和资源:\(\mathbf{BI}\)的语义。 Zbl 1055.03021号 大卫·J·派姆。;O'Hearn,Peter W。;杨红seok 45 2004 BI和资源表的语义。 Zbl 1145.03308号 D.加尔米奇。;梅里·D·。;皮姆·D·。 33 2005 资源和过程的演算和逻辑。 Zbl 1111.68086号 大卫·皮姆;克里斯·托夫茨 18 2006 基于资源的系统建模的代数和逻辑。 Zbl 1185.68441号 马修·科林森;大卫·皮姆 16 2009 线性逻辑规划的统一证明理论研究。 Zbl 0797.03054号 大卫·J·派姆。;詹姆斯·哈兰德(James A.Harland)。 12 1994 通过资源和过程进行系统建模:哲学、微积分、语义和逻辑。 Zbl 1277.68202号 大卫·皮姆;克里斯·托夫茨 9 2007 (lambda{}\Pi{}\)-演算的统一算法。 Zbl 0784.03013号 大卫·皮姆 7 1992 在\(lambda{}\Pi\)-演算中证明搜索。 Zbl 0753.03008号 大卫·皮姆;林肯·沃伦 7 1991 分层图的子结构逻辑。 Zbl 1303.03055号 马修·科林森;凯文·麦克唐纳;大卫·皮姆 7 2014 直观的分层图形逻辑。 Zbl 1476.03024号 西蒙·多尔蒂;大卫·皮姆 7 2016 定位资源的逻辑和计算理论。 Zbl 1185.68440号 马修·科林森;布莱恩·莫纳汉;大卫·皮姆 6 2009 捆绑逻辑编程(扩展抽象)。 兹比尔0988.68508 巴勃罗·A·阿梅林。;大卫·J·派姆。 6 2001 还原逻辑和证据搜索。证明理论、语义和控制。 Zbl 1062.03003号 大卫·J·派姆。;艾克·里特 6 2004 数学系统建模的一门学科。 Zbl 1305.68011号 马修·科林森;布莱恩·莫纳汉;大卫·皮姆 6 2012 自然演绎的相关分析。 Zbl 0915.03022号 Ishtiaq,S.S。;皮姆·D·J。 6 1998 成串多态性。 Zbl 1167.03011号 马修·科林森;大卫·皮姆;埃德蒙·罗宾逊 6 2008 分配子结构逻辑通过规范性的完备性:一个集合论的观点。 Zbl 1471.03055号 弗雷德里克·达尔奎斯特;大卫·皮姆 6 2015 集合资源和进程的演算和逻辑。 Zbl 1333.68195号 加布里埃尔·安德森;大卫·皮姆 6 2016 通过布尔约束进行资源分配。 Zbl 1407.03078号 詹姆斯·哈兰德;大卫·皮姆 6 2003 关于经典搜索的直觉力。 Zbl 0952.03007号 艾克·里特;大卫·皮姆;林肯·沃伦 5 2000 资源表(扩展摘要)。 Zbl 1020.03508号 迪迪埃·加米歇;丹尼尔·梅里;大卫·皮姆 5 2002 经典序列演算的富序分类模型。 Zbl 1081.03068号 卡斯滕·范尔曼;大卫·皮姆 5 2006 分离模式的逻辑。 Zbl 1342.03032号 Jean-RenéCourtault;迪迪埃·加米歇;大卫·皮姆 5 2016 分层图逻辑作为访问控制策略模型的断言语言。 兹比尔1361.68223 马修·科林森;凯文·麦克唐纳;大卫·皮姆 5 2017 关于经典析取的语义。 Zbl 0981.03018号 大卫·皮姆;艾克·里特 4 2001 直觉分层图逻辑:语义和证明理论。 兹比尔1454.03030 西蒙·多尔蒂;大卫·皮姆 4 2018 关于经典搜索的直觉力(扩展抽象)。 Zbl 1415.03028号 艾克·里特;大卫·皮姆;林肯·沃伦 4 1996 分离理论的模块化表格计算。 Zbl 1506.03073号 西蒙·多尔蒂;大卫·皮姆 4 2018 经典和直观分辨率的证明条件。 Zbl 0958.03012号 艾克·里特;大卫·皮姆;林肯·沃伦 三 2000 关于经典线性逻辑片段的分解。 Zbl 0920.03017号 J.A.哈兰德。;皮姆·D·J。 三 1992 一种亚结构认知资源逻辑。 Zbl 1480.03009号 迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 三 2017 分离逻辑的Stone型对偶定理,通过其底层的束逻辑实现。 Zbl 1525.03094号 西蒙·多尔蒂;大卫·皮姆 三 2018 关于经典逻辑的范畴模型和交互几何。 Zbl 1129.03038号 卡斯滕·范尔曼;大卫·皮姆 2 2007 类型理论语言的校对:简介。 Zbl 0952.03006号 迪迪埃·加米歇;大卫·J·派姆。 2 2000 关于\(\lambda\Pi\)-微积分的证明理论的一个注记。 Zbl 0831.03030号 大卫·J·派姆。 2 1995 分离逻辑的石头型对偶。 Zbl 1432.03046号 西蒙·多尔蒂;大卫·皮姆 2 2019 经典和直观分辨率的证明条件。 Zbl 1415.03029号 艾克·里特;大卫·皮姆;林肯·沃伦 2 1996 子结构认知资源逻辑:理论和建模应用。 Zbl 1479.03012号 迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 2 2019 研究一阶相关函数类型系统的证明搜索。 Zbl 1509.03048号 大卫·皮姆;林肯·沃伦 2 1990 访问控制的代数和逻辑。 Zbl 1202.68264号 马修·科林森;大卫·皮姆 1 2010 “资源和过程的微积分和逻辑”及其后果的勘误表。 Zbl 1139.68387号 马修·科林森;大卫·皮姆;克里斯·托夫茨 1 2007 具有成串含义的逻辑编程。(扩展摘要)。 Zbl 0917.68042号 大卫·J·派姆。 1 1998 分配子结构逻辑的余代数完备性-via-非唯一性。 Zbl 1453.03020号 弗雷德里克·达尔奎斯特;大卫·皮姆 1 2017 关于聚束多态性。 Zbl 1136.03306号 马修·科林森;大卫·皮姆;埃德蒙·罗宾逊 1 2005 勘误表:“分层图的子结构逻辑”。 Zbl 1361.03014号 马修·科林森;凯文·麦克唐纳;西蒙·多尔蒂;大卫·皮姆 1 2017 依赖型聚束(lambda)演算的Kripke资源模型。 Zbl 1017.03005号 萨明·伊斯蒂亚克;大卫·J·派姆。 1 2002 通过布尔约束进行资源分配(扩展抽象)。 Zbl 1422.03129号 詹姆斯·哈兰德;大卫·皮姆 1 1997 分离逻辑的石头型对偶。 Zbl 1432.03046号 西蒙·多尔蒂;大卫·皮姆 2 2019 子结构认知资源逻辑:理论和建模应用。 Zbl 1479.03012号 迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 2 2019 直觉分层图逻辑:语义和证明理论。 兹比尔1454.03030 西蒙·多尔蒂;大卫·皮姆 4 2018 分离理论的模块化表格计算。 Zbl 1506.03073号 西蒙·多尔蒂;大卫·皮姆 4 2018 分离逻辑的Stone型对偶定理,通过其底层的束逻辑实现。 兹比尔1525.03094 西蒙·多尔蒂;大卫·皮姆 三 2018 分层图逻辑作为访问控制策略模型的断言语言。 Zbl 1361.68223号 马修·科林森;凯文·麦克唐纳;大卫·皮姆 5 2017 一种亚结构认知资源逻辑。 Zbl 1480.03009号 迪迪埃·加米歇;皮埃尔·金梅尔;大卫·皮姆 三 2017 分配子结构逻辑的余代数完备性-via-非唯一性。 兹比尔1453.03020 弗雷德里克·达尔奎斯特;大卫·皮姆 1 2017 勘误表:“分层图的子结构逻辑”。 Zbl 1361.03014号 马修·科林森;凯文·麦克唐纳;西蒙·多尔蒂;大卫·皮姆 1 2017 直观的分层图形逻辑。 Zbl 1476.03024号 西蒙·多尔蒂;大卫·皮姆 7 2016 集合资源和进程的演算和逻辑。 Zbl 1333.68195号 加布里埃尔·安德森;大卫·皮姆 6 2016 分离模式的逻辑。 Zbl 1342.03032号 Jean-RenéCourtault;迪迪埃·加米歇;大卫·皮姆 5 2016 分配子结构逻辑通过规范性的完备性:一个集合论的观点。 Zbl 1471.03055号 弗雷德里克·达尔奎斯特;大卫·皮姆 6 2015 分层图的子结构逻辑。 Zbl 1303.03055号 马修·科林森;凯文·麦克唐纳;大卫·皮姆 7 2014 数学系统建模的一门学科。 Zbl 1305.68011号 马修·科林森;布莱恩·莫纳汉;大卫·皮姆 6 2012 访问控制的代数和逻辑。 Zbl 1202.68264号 马修·科林森;大卫·皮姆 1 2010 基于资源的系统建模的代数和逻辑。 兹比尔1185.68441 马修·科林森;大卫·皮姆 16 2009 定位资源的逻辑和计算理论。 Zbl 1185.68440号 马修·科林森;布莱恩·莫纳汉;大卫·皮姆 6 2009 成串多态性。 Zbl 1167.03011号 马修·科林森;大卫·皮姆;埃德蒙·罗宾逊 6 2008 通过资源和过程进行系统建模:哲学、微积分、语义和逻辑。 兹比尔1277.68202 大卫·皮姆;克里斯·托夫茨 9 2007 关于经典逻辑的范畴模型和交互几何。 Zbl 1129.03038号 卡斯滕·范尔曼;大卫·皮姆 2 2007 “资源和过程的演算和逻辑”及其结果的勘误表。 Zbl 1139.68387号 马修·科林森;大卫·皮姆;克里斯·托夫茨 1 2007 资源和过程的演算和逻辑。 Zbl 1111.68086号 大卫·皮姆;克里斯·托夫茨 18 2006 经典序列演算的富序分类模型。 Zbl 1081.03068号 卡斯滕·范尔曼;大卫·皮姆 5 2006 BI和资源表的语义。 Zbl 1145.03308号 D.加尔米奇。;梅里·D·。;皮姆·D·。 33 2005 关于聚束多态性。 Zbl 1136.03306号 马修·科林森;大卫·皮姆;埃德蒙·罗宾逊 1 2005 可能的世界和资源:\(\mathbf{BI}\)的语义。 Zbl 1055.03021号 大卫·J·派姆。;运营;彼得·霍恩(Peter W.Hearn)。;杨红seok 45 2004 还原逻辑和证据研究。证明理论、语义和控制。 Zbl 1062.03003号 大卫·J·派姆。;艾克·里特 6 2004 通过布尔约束进行资源分配。 兹比尔1407.03078 詹姆斯·哈兰德;大卫·皮姆 6 2003 串蕴涵逻辑的语义和证明理论。 Zbl 1068.03001号 大卫·J·派姆。 49 2002 资源表(扩展摘要)。 Zbl 1020.03508号 迪迪埃·加米歇;丹尼尔·梅里;大卫·皮姆 5 2002 依赖型聚束(lambda)演算的Kripke资源模型。 Zbl 1017.03005号 伊什蒂亚克,萨明;大卫·J·派姆。 1 2002 捆绑逻辑编程(扩展抽象)。 兹比尔0988.68508 巴勃罗·A·阿梅林。;大卫·J·派姆。 6 2001 关于经典析取的语义。 Zbl 0981.03018号 大卫·皮姆;艾克·里特 4 2001 关于经典搜索的直觉力。 Zbl 0952.03007号 艾克·里特;大卫·皮姆;林肯·沃伦 5 2000 经典和直观分辨率的证明条件。 Zbl 0958.03012号 艾克·里特;大卫·皮姆;林肯·沃伦 三 2000 类型理论语言的校对:简介。 Zbl 0952.03006号 迪迪埃·加米歇;大卫·J·派姆。 2 2000 捆绑暗示的逻辑。 Zbl 0930.03095号 运营;彼得·霍恩(Peter W.Hearn)。;大卫·J·派姆。 100 1999 自然演绎的相关分析。 Zbl 0915.03022号 Ishtiaq,S.S。;皮姆·D·J。 6 1998 具有成串含义的逻辑编程。(扩展摘要)。 Zbl 0917.68042号 大卫·J·派姆。 1 1998 通过布尔约束进行资源分配(扩展抽象)。 Zbl 1422.03129号 詹姆斯·哈兰德;大卫·皮姆 1 1997 关于经典搜索的直觉力(扩展抽象)。 Zbl 1415.03028号 艾克·里特;大卫·皮姆;林肯·沃伦 4 1996 经典和直观分辨率的证明条件。 Zbl 1415.03029号 艾克·里特;大卫·皮姆;林肯·瓦伦 2 1996 关于\(\lambda\Pi\)-微积分的证明理论的一个注记。 Zbl 0831.03030号 大卫·J·派姆。 2 1995 线性逻辑规划的统一证明理论研究。 Zbl 0797.03054号 大卫·J·派姆。;詹姆斯·哈兰德(James A.Harland)。 12 1994 (lambda{}\Pi{}\)-演算的统一算法。 Zbl 0784.03013号 大卫·皮姆 7 1992 关于经典线性逻辑片段的分解。 Zbl 0920.03017号 J.A.哈兰德。;皮姆,D.J。 三 1992 在\(lambda{}\Pi\)-演算中证明搜索。 兹比尔0753.03008 大卫·皮姆;林肯·沃伦 7 1991 研究一阶相关函数类型系统的证明搜索。 Zbl 1509.03048号 大卫·皮姆;林肯·沃伦 2 1990 所有引用出版物 前5名被引用出版物 全部的 前5名247位作者引用 28 大卫·J·派姆。 10 迪迪埃·加米歇 8 彼得·吉普森 8 O'Hearn,Peter W。 7 菲利普·安·加德纳 5 马修·科林森 5 Stéphane P.德姆里。 5 诺里希罗·卡米德 5 弗兰克·芬宁 5 杨红seok 4 拉尔斯·比克达尔 4 Jean-RenéCourtault 4 西蒙·多尔蒂 4 海兰德·J·马丁·E·。 4 艾蒂安·洛兹 4 阿莱西奥·曼苏蒂 4 权力,约翰 4 艾克·里特 4 汉斯·皮特·范·迪特马什 三 约瑟夫·布杜 三 克里斯蒂亚诺·加尔卡尼奥 三 卢卡·卡德利 三 伊利亚诺·塞维萨托 三 托马斯·丁斯代尔·扬 三 尼古拉斯·加拉托斯 三 亚历山大五世(Alexander V.Gheorghiu)。 三 C.A.R.Tony Hoare 三 侯哲 三 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 三 塔德乌兹·利塔克 三 伯恩哈德·莫勒 三 罗伊斯,伯恩哈德 三 乔治·斯特鲁斯 三 阿文·费南托(Alwen Fernanto Tiu) 三 克里斯·托夫茨 三 朱尔斯·维拉德 三 林肯·A·沃伦。 2 纳塔纳尔·阿尔佩 2 塞缪尔·巴尔科 2 阿列舍·比兹亚克 2 路易斯·凯雷斯 2 曹永志 2 弗雷德里克·达尔奎斯特 2 Dang,Han-Hing(韩红) 2 Dongol,布里耶什 2 德里克·德雷尔(Derek R.Dreyer)。 2 卡斯滕·范尔曼 2 迈克尔·加巴伊(Michael J.Gabbay)。 2 玛尔塔·加威克 2 拉杜·奥西夫 2 雅克·亨利·乔尔丹 2 荣格,拉尔夫 2 罗伯特·克雷伯斯 2 亚历山大·库兹 2 詹姆斯·利普顿(James B.Lipton)。 2 莱娜·马格努森 2 拉尔夫·马修斯 2 鲁伊斯·平托(Luís F.Pinto)。 2 米里亚姆·波尔泽 2 Edmund P.罗宾逊。 2 亚历克西斯·索林 2 施温哈默(Jan Schwinghammer) 2 Michael A.舒尔曼。 2 卢茨斯特拉汉堡 2 梅丽莎·杉本 2 塔内尔·塔米特 2 王汉平 1 萨姆森·艾布拉姆斯基 1 奥罗雷·阿尔科莱 1 娜塔莎·亚历奇纳 1 罗马斯·阿隆德里斯 1 吉安卢卡·阿马托 1 哈桑·阿姆贾德 1 加布里埃尔·安德森 1 Jean-Marc安德烈奥利 1 安德鲁·W·阿佩尔。 1 法哈德·阿尔巴 1 大卫·阿斯皮纳尔 1 罗伯特·艾奇 1 阿诺·阿夫隆 1 菲利普·巴尔比亚尼 1 Kai Bavendiek先生 1 巴托斯·贝德纳西克 1 吉安路易吉·贝林 1 伦纳特·贝林格 1 贝尔科娃,玛尔塔 1 理查德·布鲁特(Richard F.Blute)。 1 理查德·博纳特 1 马吕斯·博兹加 1 斯蒂芬·布鲁克斯。 1 詹姆斯·布罗瑟斯顿 1 卢卡斯·布埃里 1 牛,尼尔斯 1 曹钦祥 1 维托尔德·查拉托尼克 1 纳撒尼尔·查尔顿 1 詹姆斯·切尼 1 皮埃尔·克莱兰堡 1 克拉克,戴夫 1 威廉·康拉迪 …还有147位作者 全部的 前5名35篇连载文章被引用 28 理论计算机科学 7 纯逻辑与应用逻辑年鉴 7 MSCS公司。计算机科学中的数学结构 7 计算机科学中的逻辑方法 6 Studia Logica公司 6 计算的形式方面 6 应用非经典逻辑杂志 6 程序设计中的逻辑和代数方法杂志 4 信息与计算 4 自动推理杂志 三 纯粹与应用代数杂志 三 符号逻辑杂志 2 信息处理信件 2 代数普遍性 2 哲学逻辑杂志 2 符号逻辑公报 2 高阶和符号计算 2 ACM计算逻辑事务 2 应用逻辑杂志 1 信息学报 1 人工智能 1 合成 1 逻辑科公报 1 分布式计算 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 逻辑、语言与信息杂志 1 应用的分类结构 1 函数编程杂志 1 数学与人工智能年鉴 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 符号逻辑述评 1 伦敦皇家学会哲学汇刊。A.数学、物理和工程科学 全部的 前5名在9个字段中引用 157 数学逻辑和基础(03-XX) 128 计算机科学(68至XX) 9 范畴理论;同调代数(18-XX) 6 阶、格、有序代数结构(06-XX) 4 一般代数系统(08-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文