编辑配置文件(在新选项卡中打开) 弗洛伦特·基什内尔 合著者距离 作者ID: 基什内尔·弗洛伦特 发布日期: 弗洛伦特·基什内尔 已编制索引的文档: 9出版物自2007年起 合著者: 7合著者具有8联合出版物 164位合作作者 全部的 前5名合著者 1 单作者的 2 克洛德·基什内尔 2 赫莱内·基什内尔 2 塞萨尔·穆尼奥斯。 2 大卫·皮哈迪 1 大卫·卡切拉 1 阿诺·乔宾 1 弗朗索瓦·雷吉斯·西诺 系列 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 领域 9 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用20中的次18文件 引用人▼ 年份▼ 战略计算和演绎。 Zbl 1226.03027号 克洛德·基什内尔;弗洛伦特·基什内尔;赫莱内·基什内尔 7 2008 命令式程序多项式不变量的推论:告别Gröbner基。 Zbl 1401.68036号 大卫·卡切拉;托马斯·延森;阿诺·乔宾;弗洛伦特·基什内尔 4 2012 PVS#:PVS的流线型战术。 Zbl 1277.68242号 弗洛伦特·基什内尔;塞萨尔·穆尼奥斯 3 2007 类的有限一阶理论。 兹比尔1178.03024 弗洛伦特·基什内尔 2 2007 保护克隆。安全对象复制策略的静态实施。 Zbl 1326.68098号 托马斯·延森;弗洛伦特·基什内尔;大卫·皮哈迪 1 2011 基于约束的策略。 Zbl 1274.68410号 克洛德·基什内尔;弗洛伦特·基什内尔;赫莱内·基什内尔 1 2010 证明单子。 Zbl 1208.68144号 弗洛伦特·基什内尔;塞萨尔·穆尼奥斯 1 2010 保护克隆。 Zbl 1238.68047号 托马斯·延森;弗洛伦特·基什内尔;大卫·皮哈迪 1 2012 命令式程序多项式不变量的推论:告别Gröbner基。 Zbl 1401.68036号 大卫·卡切拉;托马斯·延森;阿诺·乔宾;弗洛伦特·基什内尔 4 2012 保护克隆。 Zbl 1238.68047号 托马斯·延森;弗洛伦特·基什内尔;大卫·皮哈迪 1 2012 保护克隆。安全对象复制策略的静态实施。 Zbl 1326.68098号 托马斯·延森;弗洛伦特·基什内尔;大卫·皮哈迪 1 2011 基于约束的策略。 Zbl 1274.68410号 克洛德·基什内尔;弗洛伦特·基什内尔;赫莱内·基什内尔 1 2010 证明monad。 Zbl 1208.68144号 弗洛伦特·基什内尔;塞萨尔·穆尼奥斯 1 2010 战略计算和演绎。 Zbl 1226.03027号 克洛德·基什内尔;弗洛伦特·基什内尔;赫莱内·基什内尔 7 2008 PVS#:PVS的流线型战术。 Zbl 1277.68242号 弗洛伦特·基什内尔;塞萨尔·穆尼奥斯 3 2007 一种有限的一阶类理论。 Zbl 1178.03024号 弗洛伦特·基什内尔 2 2007 所有引用出版物 前5名被引用出版物 全部的 前5名被29位作者引用 7 赫莱内·基什内尔 3 奥纳·安德烈 2 米歇尔·博雷尔 2 玛丽贝尔·费尔南德斯 2 弗洛伦特·基什内尔 2 大卫·皮哈迪 2 布鲁诺·皮诺 1 大卫·阿斯皮纳尔 1 尼古拉·巴雷 1 弗雷德里克·贝松 1 保罗·布劳纳 1 纪尧姆·伯勒 1 安娜·卡瓦尔坎蒂 1 莱昂纳多·德·莫拉 1 德尔芬·德曼吉 1 丹尼·埃文 1 劳伦特·休伯特 1 安德烈亚斯·休姆伯格 1 克洛德·基什内尔 1 科瓦奇,劳拉·伊尔迪科 1 李孟军 1 克里斯托夫·吕斯 1 文森特·蒙福特 1 塞萨尔·穆尼奥斯。 1 法布里斯·纳洪 1 马塞尔·奥利维拉 1 帕斯莫尔,格兰特·奥尼 1 蒂芬·特平 1 泽达,弗兰克 全部的 前5名引用于7个系列 1 信息处理信件 1 计算机程序设计科学 1 骨髓间充质干细胞。计算机科学中的数学结构 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 1 计算机科学中的数学 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 18 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 2 交换代数(13-XX) 2 常微分方程(34-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文