编辑配置文件(在新选项卡中打开) 菲利普·德·格鲁特 合著者距离 作者ID: 德格罗特·菲利普 发布日期: 菲利普·德格罗特;菲利普·德格罗特;德格罗特,P。;de Groote博士。 更多。。。较少的 已编制索引的文档: 33出版物自1991年起 8作为编辑的贡献·1进一步贡献 合著者: 22合著者具有22联合出版物 269名Co-Co作者 全部的 前5名合著者 20 单作者的 5 西尔万·波戈达拉 三 克里斯蒂安·雷托雷 2 马克西姆·安布拉德 2 丹尼斯·贝切特 2 Makoto金泽 2 格林·莫里尔(Glyn V.Morrill)。 2 卡尔·波拉德 2 西尔万·萨尔瓦蒂 1 丹尼尔·巴盖利 1 迈克尔·巴尔 1 纪尧姆·邦芬特 1 沃伊切赫·巴斯科夫斯基 1 克劳迪娅·卡萨迪奥 1 法兰克·德雷维斯 1 鸡蛋,马库斯 1 马里奥·法达 1 布伦丹·S·吉隆。 1 J.Roger欣德利 1 劳拉·卡尔梅耶 1 马西耶·坎杜尔斯基 1 爱德华·基南。 1 弗朗索瓦·拉马克 1 约阿希姆·兰贝克 1 阿兰·勒科姆 1 皮埃尔·路德曼 1 萨拉·马雷克 1 吉尔卡·马西克 1 迈克尔·穆尔特加特 1 内德霍夫,Mark-Jan 1 理查德·欧尔(Richard T.Oehrle)。 1 杰拉德·佩恩 1 马蒂·彭图斯 1 盖·佩里尔 1 梅赫努什·萨德扎德 1 菲利普·斯科特。 1 罗伯特·A·G·西利。 1 van Benthem,Johan F.A.K。 1 良良吉中 全部的 前5名系列 5 计算机科学课堂讲稿 2 理论计算机科学 2 逻辑、语言与信息杂志 1 逻辑研究 1 信息与计算 1 计算的形式方面 1 计算机科学中的数学结构 1 计算机基础理论 1 CSLI课堂讲稿 1 物流中心Cahiers du Centre de Logique 字段 40 数学逻辑和基础(03-XX) 24 计算机科学(68至XX) 8 总体主题;集合(00-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 有序,格,有序代数结构(06-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用144中的次118文件 引用人▼ 年份▼ 包含系列平行偏序的完整公理化。 兹比尔1379.06001 丹尼斯·贝克特;菲利普·德格罗特;克里斯蒂安·雷托雷 19 1997 经典非结合Lambek演算。 Zbl 1032.03014号 菲利普·德格罗特;弗朗索瓦·拉马克 19 2002 异常处理的简单演算。 Zbl 1063.68565号 菲利普·德格罗特 14 1995 带析取的经典自然演绎的强正规化。 Zbl 0981.03027号 菲利普·德格罗特 14 2001 语言和语法。数学语言学和自然语言研究。 Zbl 1137.03300号 14 2005 用于\(\lambda\mu\)-演算的环境机器。 Zbl 0918.03017号 菲利普·德格罗特 11 1998 (lambda\mu)-演算的CPS翻译。 Zbl 0938.03024号 德格罗特,P。 10 1994 重新审视了守恒定理。 Zbl 0795.03020号 菲利普·德格罗特 9 1993 论抽象范畴语法的表现力:表现上下文无关的形式主义。 兹比尔1062.03024 菲利普·德格罗特;西尔万·波戈达拉 8 2004 关于带置换变换的直觉主义自然演绎的强正规化。 Zbl 1031.03071号 菲利普·德格罗特 8 2002 多项式时间乘积的非结合Lambek演算。 Zbl 0933.03017号 菲利普·德格罗特 8 1999 咖喱-霍华德同构。 Zbl 0977.03504号 7 1995 关于具有置换转换的自然演绎的强正规化。 Zbl 0939.03061号 菲利普·德格罗特 三 1999 计算语言学的逻辑方面。2001年6月27日至29日,第四届国际会议,LACL 2001,法国勒克罗伊西克。诉讼程序。 Zbl 0969.00085号 三 2001 关于平行和句法中心形式主义:从聚合语法编码到抽象范畴语法的角度。 Zbl 1248.03050号 菲利普·德格罗特;西尔万·波戈达拉;卡尔·波拉德 2 2011 用动态规划方法进行分类演绎。 Zbl 0937.03027号 菲利普·德格罗特 2 1999 计算语言学的逻辑方面。庆祝LACL成立20周年(1996-2016)。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。 Zbl 1351.68009号 1 2016 Lambek-Grishin微积分的理论证明。 Zbl 1465.03064号 菲利普·德格罗特 1 2015 直觉证明网的代数正确性准则。 Zbl 0887.03042号 菲利普·德格罗特 1 1997 Nederpelt的演算扩展了上下文作为逻辑框架的概念。 Zbl 0754.03012号 菲利普·德·格鲁特 1 1991 关于线性\(λ\)-微积分中高阶匹配的复杂性。 Zbl 1038.03014号 西尔万·萨尔瓦蒂;菲利普·德格罗特 1 2003 通过将类型关系公理化来定义\(\lambda\)-typed\(\lambda \)-calculi。 Zbl 0797.68144号 菲利普·德格罗特 1 1993 直觉乘法证明集的代数正确性准则。 Zbl 0930.03094号 菲利普·德格罗特 1 1999 计算语言学的逻辑方面。庆祝LACL成立20周年(1996-2016)。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。 Zbl 1351.68009号 1 2016 Lambek-Grishin微积分的理论证明。 Zbl 1465.03064号 菲利普·德格罗特 1 2015 关于平行和句法中心形式主义:从聚合语法编码到抽象范畴语法的角度。 Zbl 1248.03050号 菲利普·德格罗特;西尔万·波戈达拉;卡尔·波拉德 2 2011 语言和语法。数学语言学和自然语言研究。 Zbl 1137.03300号 14 2005 论抽象范畴语法的表达能力:表现无语境形式主义。 Zbl 1062.03024号 菲利普·德格罗特;西尔万·波戈达拉 8 2004 线性(λ)演算中高阶匹配的复杂性。 Zbl 1038.03014号 西尔万·萨尔瓦蒂;菲利普·德格罗特 1 2003 经典非结合Lambek演算。 Zbl 1032.03014号 菲利普·德格罗特;弗朗索瓦·拉马克 19 2002 关于具有置换转换的直觉自然演绎的强规范化。 兹比尔1031.03071 菲利普·德格罗特 8 2002 带析取的经典自然演绎的强正规化。 Zbl 0981.03027号 菲利普·德格罗特 14 2001 计算语言学的逻辑方面。2001年6月27日至29日,第四届国际会议,LACL 2001,法国勒克罗伊西克。诉讼程序。 Zbl 0969.00085号 三 2001 多项式时间乘积的非结合Lambek演算。 Zbl 0933.03017号 菲利普·德格罗特 8 1999 关于具有置换转换的自然演绎的强正规化。 Zbl 0939.03061号 菲利普·德格罗特 三 1999 用动态规划方法进行分类演绎。 Zbl 0937.03027号 菲利普·德格罗特 2 1999 直觉乘法证明集的代数正确性准则。 Zbl 0930.03094号 菲利普·德格罗特 1 1999 用于\(\lambda\mu\)-演算的环境机器。 Zbl 0918.03017号 菲利普·德格罗特 11 1998 包含系列平行偏序的完整公理化。 Zbl 1379.06001号 丹尼斯·贝克特;菲利普·德格罗特;克里斯蒂安·雷托雷 19 1997 直觉证明网的代数正确性准则。 Zbl 0887.03042号 菲利普·德格罗特 1 1997 异常处理的简单演算。 Zbl 1063.68565号 菲利普·德格罗特 14 1995 咖喱-霍华德同构。 Zbl 0977.03504号 7 1995 (lambda\mu)-演算的CPS翻译。 兹伯利0938.03024 de Groote,P。 10 1994 重新审视了守恒定理。 Zbl 0795.03020号 菲利普·德格罗特 9 1993 通过将类型关系公理化来定义\(\lambda\)-typed\(\lambda \)-calculi。 Zbl 0797.68144号 菲利普·德格罗特 1 1993 Nederpelt的演算扩展了上下文作为逻辑框架的概念。 Zbl 0754.03012号 菲利普·德格罗特 1 1991 所有引用出版物 前5名被引用出版物 全部的 前5名124位作者引用 9 弗兰克·古尔斯基 7 多米尼克·科曼德 7 卡里姆·努尔 7 卡罗琳·雷赫斯 6 沃伊切赫·巴斯科夫斯基 5 费德里科·阿西埃里 4 菲利普·德格罗特 4 中泽,Koji 4 克里斯蒂安·雷托雷 4 尤里·萨瓦泰耶夫 三 佩特尔·巴蒂亚尼 三 丹尼斯·贝切特 三 雷内·戴维 三 Max Iosifovich,卡诺维奇 三 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 三 西尔万·萨尔瓦蒂 三 安德烈·斯克洛夫 三 索伦森,莫滕·海涅B。 三 Makoto Tatsuta 三 万克,伊贡 2 埃本·布莱斯德尔 2 罗尔·布鲁 2 蝉蜕、阿加塔 2 安妮·福雷特 2 弗朗西斯科·詹科(Francesco A.Genco)。 2 Fairouz D.卡马雷丁。 2 迈克尔·卡明斯基 2 Makoto金泽 2 苏拉布·O·卡西达什维利。 2 Gregory M.科贝尔。 2 延斯·米切利斯 2 伊莱恩·皮门特尔 2 卡尔·波拉德 2 Jochen Rethmann 2 科利法·萨伯 2 文森特·范·奥斯特罗姆 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 铃木安都 1 泽纳·M·阿里奥拉。 1 萨拉·艾汉 1 吉尔·巴特 1 马克·比克福德 1 别尔纳卡,马乌戈扎塔 1 弗雷德里克·布兰基 1 爱德华多·博内利 1 杰拉德·布多尔 1 弗朗兹·约瑟夫·勃兰登堡 1 科西莫·佩里尼·布罗吉 1 玛丽亚·布林斯卡 1 洛伊奇科尔森 1 特里斯坦·克罗拉德 1 奥利维尔·丹维 1 乌戈·德利古罗 1 雷米·杜伦斯 1 Gilles Dowek 1 玛丽·雷内·弗勒里 1 帕斯卡·弗雷德特 1 尼西姆·弗朗西兹 1 藤田,健毅 1 让·H·盖利尔。 1 高小璐 1 安德烈亚斯·格莱纳 1 维克多·戈麦斯。 1 艾米丽·格里恩伯格 1 郭玉宝 1 约翰·哈特克利夫 1 雨果·赫贝林 1 Nao Hirokawa 1 斯特凡·霍夫曼 1 加布里埃尔·洪德特 1 罗斯季斯拉夫·霍奇克 1 佐藤池田 1 稻田,Kazuhiro 1 川谷义彦 1 Yukiyoshi县Kameyama 1 诺里希罗·卡米德 1 卡夫沃斯,G.A。 1 大辅木村 1 安斯滕·默奇·克莱夫 1 西蒙·克莱默 1 弗朗索瓦·拉马克 1 马文·林德曼 1 克里斯蒂娜·马塔奇 1 松田和川 1 拉尔夫·马提斯 1 大卫·米歇尔 1 格里戈里·埃弗罗伊莫维奇造币厂 1 彼得·莫勒·内尔加德 1 迈克尔·穆尔特加特 1 理查德·穆特 1 格林·莫里尔(Glyn V.Morrill)。 1 多米尼克·P·穆利根。 1 朱利安·纳格尔 1 中野圭介 1 Nguyán、LáThánh Dũng 1 住友西口 1 小川,水井裕人 1 小山口,美雄 1 拉格罗·帕格南 1 马蒂·彭特斯 …还有24位作者 全部的 前5名29篇连载文章中引用 20 理论计算机科学 7 纯逻辑与应用逻辑年鉴 6 逻辑研究 6 逻辑、语言与信息杂志 6 计算机科学中的逻辑方法 5 信息与计算 4 逻辑与代数程序设计杂志 三 计算机科学中的数学结构 三 应用非经典逻辑杂志 三 高阶和符号计算 2 哲学逻辑杂志 2 符号逻辑杂志 2 逻辑科公报 2 数学逻辑档案 2 计算系统理论 2 组合优化期刊 1 离散数学 1 信息处理信件 1 应用数学与计算 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 订单 1 新一代计算 1 运筹学的数学方法 1 RAIRO公司。理论信息学及其应用 1 泛逻辑 1 符号逻辑述评 1 算法 1 AIMS数学 全部的 前5名11个领域引用 86 数学逻辑和基础(03-XX) 63 计算机科学(68至XX) 10 组合数学(05-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 运筹学、数学规划(90-XX) 2 群论与推广(20-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 有序,格,有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 量子理论(81-XX) 按年份列出的引文