编辑配置文件（在新选项卡中打开） 波杜因勒·沙利埃 合著者距离 作者ID： le-charlier.baudouin先生 发布日期： Le Charlier，博杜因；波杜因勒查莱尔；布杜因勒查利埃；博杜因Lecharlier；波杜因·勒沙利埃；勒·查利埃（Le Charlier），B。 更多。。。较少的 已编制索引的文档： 11出版物自1974年以来 2作为编辑的贡献 合著者： 10位合著者具有12联合出版物 235位合作作者 全部的 前5名合著者 1 单作者的 6 阿戈斯蒂诺·科尔特斯 5 帕斯卡·范·亨特利克 4 萨宾娜·罗西 1 马克·米歇尔·科西尼 1 帕特里克·库索特 1 纳吉·哈布拉 1 Jean-Luc Hainaut 1 克利斯朵夫·列克莱尔 1 卡宁达穆桑布 1 安托万·劳西 系列 三 逻辑程序设计杂志 2 计算机程序设计科学 1 信息学报 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 领域 13 计算机科学（68至XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用26中的次21文件 引用人▼ 年份▼ 逻辑编程抽象域的组合：开放产品和通用模式构造。 Zbl 0957.68023号 阿戈斯蒂诺·科尔特斯；波杜因勒·沙利埃；帕斯卡·范·亨特利克 9 2000 使用类型图对Prolog进行类型分析。 Zbl 0830.68029号 帕斯卡·范·亨特利克；阿戈斯蒂诺·科尔特斯；波杜因勒·沙利埃 8 1995 域评估（属性）。 Zbl 0862.68027号 帕斯卡·范·亨特利克；阿戈斯蒂诺·科尔特斯；布杜因勒查利埃 4 1995 通过符号有限域上的约束求解对Prolog进行自底向上的高效抽象解释。 Zbl 0797.68028号 马克·米歇尔·科西尼；卡宁达穆桑布；安托万·劳西；波杜因勒·沙利埃 2 1993 静态分析。1994年9月28日至30日，第一届国际研讨会，SAS’94，Namur（比利时）。诉讼程序。 Zbl 0803.0022号 1 1994 重新执行序言的抽象解释。 Zbl 0939.68572号 波杜因勒·沙利埃；帕斯卡·范·亨特利克 1 1995 Prolog的基于序列的抽象解释。 Zbl 1087.68532号 波杜因勒·沙利埃；萨宾娜·罗西；帕斯卡·范·亨特利克 1 2002 Prolog的基于序列的抽象解释。 Zbl 1087.68532号 波杜因勒·沙利埃；萨宾娜·罗西；帕斯卡·范·亨特利克 1 2002 逻辑编程抽象域的组合：开放产品和通用模式构造。 Zbl 0957.68023号 阿戈斯蒂诺·科尔特斯；Le Charlier，博杜因；帕斯卡·范·亨特利克 9 2000 使用类型图对Prolog进行类型分析。 Zbl 0830.68029号 帕斯卡·范·亨特利克；阿戈斯蒂诺·科尔特斯；Le Charlier，博杜因 8 1995 域评估（属性）。 Zbl 0862.68027号 帕斯卡·范·亨特利克；阿戈斯蒂诺·科尔特斯；布杜因勒夏利埃 4 1995 重新执行序言的抽象解释。 Zbl 0939.68572号 波杜因勒·沙利埃；帕斯卡·范·亨特利克 1 1995 静态分析。1994年9月28日至30日，第一届国际研讨会，SAS’94，Namur（比利时）。诉讼程序。 Zbl 0803.0022号 1 1994 通过符号有限域上的约束求解对Prolog进行自底向上的高效抽象解释。 Zbl 0797.68028号 马克·米歇尔·科西尼；卡宁达穆桑布；安托万·劳西；波杜因勒·沙利埃 2 1993 所有引用出版物 前5名被引用出版物 全部的 前5名39位作者引用 4 阿戈斯蒂诺·科尔特斯 三 罗伯托·巴格纳拉 三 帕特里夏·M·希尔。 三 埃纳州扎法内拉 2 约翰·加拉赫（John P.Gallagher）。 2 马蒂奥·扎尼奥利 1 萨米克·巴苏 1 纳撒尼尔·查尔顿 1 陈火旺 1 迈克尔·科迪什 1 伊曼纽尔·德·安吉利斯 1 德瓦尔，D.A。 1 埃米利亚诺夫，P.G。 1 克里斯蒂安·费希特 1 吉尔伯托·菲莱 1 法比奥·菲奥拉万蒂 1 罗伯托·贾科巴齐 1 罗伯塔·戈里 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 阿尔塔夫·侯赛因 1 迈克尔·R·A·胡特。 1 波杜因勒·沙利埃 1 李孟军 1 李周军 1 卢、伦金 1 格里高里·马舍维茨基 1 米尼，安托万 1 苏珊娜·穆尼奥斯·亨德斯 1 李·奈什 1 阿卜杜勒拉乌特·乌阿贾奥特 1 阿尔贝托·佩特罗西 1 毛里齐奥·普罗埃蒂 1 罗马克里希南，C.R。 1 弗朗西斯科·兰扎托 1 萨宾娜·罗西 1 赫尔穆特·塞德尔 1 哈拉尔德·森德加德 1 威廉·温斯伯勒。 1 周，Ti 全部的 前5名引用于6个系列 6 理论计算机科学 三 逻辑程序设计理论与实践 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机语言、系统和结构 在2个字段中引用 21 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文