编辑配置文件(在新选项卡中打开) 皮埃尔·德兰萨特 合著者距离 作者ID: deransart.pierre公司 发布日期: 皮埃尔·德兰萨特;P.德兰萨特。 编入索引的文档: 18出版物自1979年以来,包括3本书 4作为编辑的贡献·1进一步贡献 合著者: 14合著者具有20联合出版物 175位合作作者 全部的 前5名合著者 2 单作者的 5 马ł斯基,简 三 杰拉德·费兰德 三 马丁·茹尔丹 三 伯纳德·洛霍 三 斯马乌斯,Jan-Georg 1 克利斯朵夫·艾劳德 1 马克·伯格曼 1 皮埃尔·布利埃 1 曼弗雷德·布罗伊 1 洛朗·塞尔沃尼 1 布鲁诺·库塞尔 1 米雷尔·杜卡斯 1 阿卜杜勒·阿里·埃德·巴利 1 弗朗索瓦·法赫斯 1 玛丽·克劳德·高德尔 1 尼尔·D·琼斯。 1 卡斯滕斯,乌韦 1 瓦迪姆·科托夫(Vadim E.Kotov)。 1 卢多维奇·朗之万 1 波托辛,I。 1 马丁·拉斯科夫斯基 1 里普肯,克努特 1 施密特,大卫·A。 1 杰勒德·特琳 1 马丁·威尔辛 1 埃里希·齐默尔曼 全部的 前5名系列 4 计算机科学课堂讲稿 2 逻辑程序设计杂志 1 信息学报 1 《计算机杂志》。A部分/B部分 1 理论计算机科学 1 新一代计算 1 信息与计算 1 函数与逻辑程序设计杂志 领域 23 计算机科学(68至XX) 4 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用106中的次77文件 引用人▼ 年份▼ 属性语法。定义、系统和参考书目。 Zbl 0647.68073号 皮埃尔·德兰萨特;马丁·朱尔丹;伯纳德·洛霍 26 1988 逻辑编程的语法观点。带有J.H.Gallier的前言。 Zbl 0849.68010号 皮埃尔·德兰萨特;马卢斯·津斯基(Maluszynski,Jan) 18 1993 关联逻辑程序和属性文法。 Zbl 0586.68073号 皮埃尔·德兰萨特;马łuszynski,Jan 14 1985 序言:标准。参考手册。 Zbl 0844.68017号 皮埃尔·德兰萨特;阿卜杜勒·阿里·埃德·巴利;洛朗·塞尔沃尼 14 1996 定程序声明性的证明方法。 Zbl 0783.68078号 皮埃尔·德兰萨特 8 1993 属性文法部分正确性的证明,并应用于递归过程和逻辑编程。 Zbl 0719.68038号 库塞尔,B。;P.德兰萨特。 8 1988 逻辑编程:方法论和教学。 Zbl 0675.68052号 P.德兰萨特。;费兰德,G。 4 1988 加快属性语法的循环性测试。 Zbl 0515.68055号 皮埃尔·德兰萨特;马丁·朱尔丹;伯纳德·洛霍 三 1984 正规逻辑程序部分正确性和弱完备性的证明方法。 Zbl 0798.68100号 杰拉德·费兰德;皮埃尔·德兰萨特 2 1993 逻辑程序作为证明理论属性的主题约简。 Zbl 1037.68029号 皮埃尔·德兰萨特;斯马乌斯,Jan-Georg 2 2002 PROLOG的操作形式化定义:一种规范化方法及其应用。 Zbl 0741.68028号 皮埃尔·德兰萨特;杰拉德·费兰德 2 1992 逻辑编程的语法观点。 Zbl 0716.68023号 皮埃尔·德兰萨特;马卢斯·津斯基(Maluszynski,Jan) 1 1989 类型良好的逻辑程序没有错。 Zbl 0977.68509号 皮埃尔·德兰萨特;斯马乌斯,Jan-Georg 1 2001 属性语法及其应用。1990年9月19日至21日在法国巴黎举行的WAGA国际会议。诉讼程序。 Zbl 0741.68007号 1 1990 LISP编译器的语义属性证明。 Zbl 0416.68077号 P.德兰萨特。 1 1979 GNU-Prolog的传播跟踪器:从形式定义到高效实现。 Zbl 1204.68055号 卢多维奇·朗之万;米雷尔·杜卡斯;皮埃尔·德兰萨特 1 2003 GNU-Prolog的传播跟踪器:从形式定义到高效实现。 Zbl 1204.68055号 卢多维奇·朗之万;米雷尔·杜卡斯;皮埃尔·德兰萨特 1 2003 逻辑程序作为证明理论属性的主题约简。 Zbl 1037.68029号 皮埃尔·德兰萨特;斯马乌斯,Jan-Georg 2 2002 类型良好的逻辑程序没有错。 Zbl 0977.68509号 皮埃尔·德兰萨特;斯马乌斯,Jan-Georg 1 2001 序言:标准。参考手册。 Zbl 0844.68017号 皮埃尔·德兰萨特;阿卜杜勒·阿里·埃德·巴利;洛朗·塞尔沃尼 14 1996 逻辑编程的语法观点。带有J.H.Gallier的前言。 Zbl 0849.68010号 皮埃尔·德兰萨特;马卢斯·津斯基(Maluszynski,Jan) 18 1993 定程序声明性的证明方法。 Zbl 0783.68078号 皮埃尔·德兰萨特 8 1993 正规逻辑程序部分正确性和弱完备性的证明方法。 Zbl 0798.68100号 杰拉德·费兰德;皮埃尔·德兰萨特 2 1993 PROLOG的操作形式化定义:一种规范化方法及其应用。 Zbl 0741.68028号 皮埃尔·德兰萨特;杰拉德·费兰德 2 1992 属性文法及其应用。1990年9月19日至21日在法国巴黎举行的WAGA国际会议。诉讼程序。 Zbl 0741.68007号 1 1990 逻辑编程的语法观点。 Zbl 0716.68023号 皮埃尔·德兰萨特;马鲁辛斯基,Jan 1 1989 属性语法。定义、系统和参考书目。 Zbl 0647.68073号 皮埃尔·德兰萨特;马丁·朱尔丹;伯纳德·洛霍 26 1988 属性文法部分正确性的证明,并应用于递归过程和逻辑编程。 Zbl 0719.68038号 库塞尔,B。;P.德兰萨特。 8 1988 逻辑编程:方法和教学。 Zbl 0675.68052号 P.德兰萨特。;费兰德,G。 4 1988 关联逻辑程序和属性文法。 Zbl 0586.68073号 皮埃尔·德兰萨特;马łuszynski,Jan 14 1985 加快属性语法的循环测试。 Zbl 0515.68055号 皮埃尔·德兰萨特;马丁·茹尔丹;伯纳德·洛霍 三 1984 LISP编译器的语义属性证明。 Zbl 0416.68077号 德兰萨特,P。 1 1979 所有引用出版物 前5名被引用出版物 全部的 前5名124位作者引用 10 沃德齐米日·德拉本特 4 曼努埃尔五世(Manuel V.Hermenegildo)。 三 布鲁诺·库塞尔 三 皮埃尔·德兰萨特 三 约斯特·恩格尔弗里特 2 丹尼尔·卡贝扎 2 桑托斯·科斯塔,Vítor 2 Jaan Penjam 2 萨尔瓦多鲁杰里 1 萨尔瓦多阿布雷乌 1 詹姆斯·H·安德鲁斯。 1 西奥多·安德洛尼科斯 1 塞尔吉奥·安托伊 1 卡布兰·巴巴拉 1 尼科尔·比多特 1 罗德里克·布洛姆 1 丹尼尔·博布罗(Daniel G.Bobrow)。 1 艾伦·L·琼·布朗(Allen L.jun Brown)。 1 马提亚斯·比切斯 1 罗伯塔·卡莱加里 1 Chan,Jien Tsai 1 奈杰尔·查普曼。 1 维托尔德·查拉托尼克 1 乔瓦尼·西亚托 1 马可·科米尼 1 纳尔逊·科雷亚 1 维罗妮卡·达尔 1 奥尔内拉·达达 1 朱塞佩·德拉·佩纳 1 马克·德内克 1 恩里科·丹蒂 1 纳鸿·德肖维茨 1 丹尼尔·迪亚兹 1 亚历山德罗斯·C·迪莫普洛斯。 1 米雷尔·杜卡斯 1 瑞希德·埃哈希德 1 尤根·艾克尔 1 弗朗索瓦·法格斯 1 杰拉德·费兰德 1 马里奥弗洛里多 1 Markus P.J.Fromherz。 1 Jean-Marie Gaillourdet 1 罗伯特·吉格里奇 1 吉尔根·吉斯尔 1 托马斯·格拉斯(Thomas A.Glass)。 1 罗伯塔·戈里 1 雷米·海默尔 1 迈克尔·哈纳斯 1 琳达·海克 1 雅各布·M·豪。 1 稻田,Kazuhiro 1 贝内代托·恩特里吉拉 1 汤马斯·伊萨科维茨 1 Janoušek,扬 1 卡斯滕斯,乌韦 1 胜本,Shin-ya 1 安迪·金 1 菲利普·科纳 1 安德鲁·库卢里斯 1 拉尔夫·拉梅尔 1 尼古拉·利昂 1 Michael Leuschel先生 1 李维,乔治 1 李,龚 1 彼得·利普斯 1 苏希尔·路易斯。 1 迈克尔·马赫(Michael J.Maher)。 1 马ł斯基,简 1 塞巴斯蒂安·马内思 1 马可·曼纳 1 苏里亚·曼塔 1 玛丽亚尼,斯特凡诺 1 博伊沃伊·梅利查 1 梅里斯特,梅里克 1 帕特里克·米歇尔 1 乌尔里奇·莫恩克 1 路易斯·蒙泰罗 1 何塞·弗朗西斯科·莫拉莱斯 1 H·中松山。 1 法兰克·奈文 1 雷·尼克森 1 乌尔夫·尼尔森。 1 西野、铁雄 1 冈田三弘 1 马提亚斯·奥尔克 1 安德烈亚·奥米西尼 1 Takuya Ookubo 1 伊奥安尼斯·帕纳戈普洛斯 1 乔治·K·帕帕康斯坦蒂努。 1 克里斯托斯·帕夫拉托斯 1 佩德雷希·迪诺 1 佩德罗,瓦斯科 1 佩雷拉·帕斯夸林,道格拉斯 1 爱德华多·凯斯勒·皮维塔 1 安德烈亚斯·波德尔斯基 1 阿恩·施·赫夫特 1 尼科尔·劳赫 1 科林·伦西曼 1 罗斯、特奥多尔 1 帕特里克·圣迪泽尔 …还有24位作者 全部的 前5名18篇连载文章中引用 13 理论计算机科学 7 信息学报 7 逻辑程序设计理论与实践 三 信息处理信件 三 计算机与系统科学杂志 三 信息与计算 三 计算的形式方面 2 信息科学 2 新一代计算 2 数学和计算机建模 2 计算机语言、系统和结构 1 人工智能 1 计算机物理通信 1 比特币 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学与人工智能年鉴 1 LMS计算与数学杂志 1 逻辑与代数程序设计杂志 在5个字段中引用 76 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文