编辑配置文件（在新选项卡中打开） 皮埃尔·杰奈夫耶斯 合著者距离 作者ID： geneves.pierre公司 发布日期： 皮埃尔·杰奈夫耶斯 已编制索引的文档： 6出版物自2009年起 合著者： 7合著者具有6联合出版物 62位合作作者 全部的 前5名合著者 0 单作者的 5 纳比尔·拉伊达 4 尼尔斯·盖斯伯特 1 梅利萨切夫·乌达格·契科尔 1 尤泽纳特，杰罗姆 1 我是宣城 1 文森特·昆特 1 阿兰·施密特 系列 1 理论计算机科学 1 ACM计算逻辑事务 领域 6 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 4出版物有被引用7中的次5文件 引用人▼ 年份▼ RDFS包含机制下的SPARQL查询包含。 Zbl 1358.68251号 梅利萨切夫·乌达格·契科尔;尤泽纳特，杰罗姆;皮埃尔·杰奈夫耶斯;纳比尔·拉伊达 4 2012 XQuery和静态类型：解决向后轴的问题。 Zbl 1360.68329号 皮埃尔·杰奈夫耶斯;尼尔斯·盖斯伯特 1 2015 有限树上带逆的有效判定\（\mu\）-演算。 Zbl 1354.68124号 皮埃尔·杰奈夫耶斯;纳比尔·拉伊达;阿兰·施密特;尼尔斯·盖斯伯特 1 2015 参数多态性和语义子类型：逻辑联系。 Zbl 1323.68205号 尼尔斯·盖斯伯特;皮埃尔·杰奈夫耶斯;纳比尔·拉伊达 1 2011 XQuery和静态类型：解决向后轴的问题。 Zbl 1360.68329号 皮埃尔·杰奈夫耶斯;尼尔斯·盖斯伯特 1 2015 有限树上带逆的有效判定\（\mu\）-演算。 Zbl 1354.68124号 皮埃尔·杰奈夫耶斯;纳比尔·拉伊达;阿兰·施密特;尼尔斯·盖斯伯特 1 2015 RDFS隐含机制下的SPARQL查询包含。 兹比尔1358.68251 梅利萨切夫·乌达格·契科尔;尤泽纳特，杰罗姆;皮埃尔·杰奈夫耶斯;纳比尔·拉伊达 4 2012 参数多态性和语义子类型：逻辑联系。 Zbl 1323.68205号 尼尔斯·盖斯伯特;皮埃尔·杰奈夫耶斯;纳比尔·拉伊达 1 2011 全部的 前5名10位作者引用 2 塞巴斯蒂安·费雷 1 佩吉·塞利尔 1 皮埃尔·杰奈夫耶斯 1 尼尔斯·盖斯伯特 1 我是宣城 1 马克·卡明斯基 1 埃戈尔·柯斯特列夫（Egor V.Kostylev）。 1 纳比尔·拉伊达 1 Polleres，阿克塞尔 1 约翰·彼得·沃纳 引用于4个系列 1 离散应用数学 1 理论计算机科学 1 应用非经典逻辑杂志 1 计算系统理论 在2个字段中引用 5 计算机科学（68至XX） 1 组合数学（05-XX） 按年份列出的引文