编辑配置文件(在新选项卡中打开) 埃蒂安·佩耶特 合著者距离 作者ID: 收款人埃蒂安 发布日期: 埃蒂安·佩耶特;艾蒂安·佩耶特 已编制索引的文档: 18出版物自1998年以来 合著者: 10位合著者具有14联合出版物 106合作作者 全部的 前5名合著者 4 单作者的 9 弗雷德·梅斯纳德 5 德国维达尔 2 特奥多尔·科纳皮克 2 斯波托,福斯托 1 索菲·福茨 1 福内南索·莫里卡 1 弗雷德里克·梅斯纳德 1 乌尔里希·纽默克尔 1 吉尔斯·佩鲁因 1 温·范霍夫 系列 三 逻辑程序设计理论与实践 2 信息处理信件 2 计算机基础理论 1 理论计算机科学 1 高阶和符号计算 领域 18 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用31中的次19文件 引用人▼ 年份▼ 逻辑编程中的一致性测试。 Zbl 1379.68078号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 6 2015 使用消除展开的术语重写中的循环检测。 Zbl 1154.68436号 埃蒂安·佩耶特 5 2008 关于逻辑程序一致性测试中选择性统一的完备性。 Zbl 1485.68038号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 4 2017 Java字节码本地化分析的魔法集。 Zbl 1244.68052号 斯波托,福斯托;埃蒂安·佩耶特 4 2010 使用展开算子检测术语重写系统的非终结性。 Zbl 1196.68114号 埃蒂安·佩耶特 三 2007 约束逻辑程序的非终结推理。 兹伯利1104.68011 艾蒂安·佩耶特;弗雷德·梅斯纳德 2 2004 CLP中的酒精测试。 Zbl 1468.68055号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 2 2020 线性有界机器的同步乘积。 Zbl 0947.03057号 特奥多尔·科纳皮克;埃蒂安·佩耶特 1 1999 这些规范、无限图和同步产品。 兹伯利0966.68127 埃蒂安·佩耶特 1 2000 检测逻辑程序的最佳终止条件。 Zbl 1015.68032号 弗雷德·梅斯纳德;艾蒂安·佩耶特;乌尔里希·纽默克尔 1 2002 (约束)逻辑编程中的选择性统一。 Zbl 1497.68087号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 1 2020 一种基于SMT的逻辑程序通用测试工具。 Zbl 07368093号 索菲·福茨;弗雷德·梅斯纳德;艾蒂安·佩耶特;吉尔斯·佩鲁因;温·范霍夫;德国维达尔 1 2020 CLP中的酒精测试。 Zbl 1468.68055号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 2 2020 (约束)逻辑编程中的选择性统一。 Zbl 1497.68087号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 1 2020 一种基于SMT的逻辑程序通用测试工具。 Zbl 07368093号 索菲·福茨;弗雷德·梅斯纳德;艾蒂安·佩耶特;吉尔斯·佩鲁因;温·范霍夫;德国维达尔 1 2020 逻辑程序协调测试中选择统一的完备性。 Zbl 1485.68038号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 4 2017 逻辑编程中的一致性测试。 Zbl 1379.68078号 弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 6 2015 Java字节码本地化分析的魔法集。 Zbl 1244.68052号 斯波托,福斯托;埃蒂安·佩耶特 4 2010 使用消除展开的术语重写中的循环检测。 兹比尔1154.68436 埃蒂安·佩耶特 5 2008 使用展开算子检测术语重写系统的非终结性。 Zbl 1196.68114号 埃蒂安·佩耶特 三 2007 约束逻辑程序的非终结推理。 Zbl 1104.68011号 艾蒂安·佩耶特;弗雷德·梅斯纳德 2 2004 检测逻辑程序的最佳终止条件。 兹比尔1015.68032 弗雷德·梅斯纳德;艾蒂安·佩耶特;乌尔里希·纽默克尔 1 2002 这些规范、无限图和同步产品。 Zbl 0966.68127号 埃蒂安·佩耶特 1 2000 线性有界机器的同步乘积。 Zbl 0947.03057号 特奥多尔·科纳皮克;埃蒂安·佩耶特 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名47位作者引用 6 埃蒂安·佩耶特 5 德国维达尔 4 弗雷德·梅斯纳德 三 曼努埃尔五世(Manuel V.Hermenegildo)。 2 吉尔根·吉斯尔 2 何塞·弗朗西斯科·莫拉莱斯 2 克里斯蒂安·斯特纳格尔 2 雷内·蒂曼 1 萨尔瓦多阿布雷乌 1 艾尔维拉·阿尔伯特 1 科尼利厄斯·阿舍曼 1 阿诺德·卡拉约尔 1 伊格纳西奥·卡索 1 乔瓦尼·西亚托 1 维托尔·桑托斯·科斯塔 1 维罗妮卡·达尔 1 伊曼纽尔·德·安吉利斯 1 朱尔斯·德沙奈斯 1 迪亚洛,纳菲 1 丹尼尔·迪亚兹 1 法比奥·菲奥拉万蒂 1 索菲·福茨 1 弗洛里安·弗洛恩 1 约翰·加拉赫(John P.Gallagher)。 1 加尔达洛,Wided 1 雷纳·哈内尔 1 杰拉·亨塞尔 1 菲利普·科纳 1 Michael Leuschel先生 1 佩德罗·洛佩兹·加西亚 1 艾丽西亚·梅拉约 1 安托万·梅耶 1 阿尔特·米德尔多普 1 阿里·米莉 1 直纪西田 1 阿德里安·帕拉西奥斯。 1 吉尔斯·佩鲁因 1 阿尔贝托·佩特罗西 1 毛里齐奥·普罗埃蒂 1 彼得·施奈德·坎普 1 斯波托,福斯托 1 多米尼克·施泰因霍费尔 1 托马斯·斯特罗德 1 温·范霍夫 1 Wielemaker,简 1 莎拉·温克勒 1 哈拉尔德·赞克 全部的 前5名7篇连载文章中引用 4 逻辑程序设计理论与实践 1 信息学报 1 理论计算机科学 1 自动推理杂志 1 高阶和符号计算 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 19 计算机科学(68至XX) 按年份列出的引文