Jean-Pierre Jouannaud女士
人员信息
附属： 法国巴黎埃科尔理工学院
优化列表
期刊文章
2023 
[公元27年] Jean-Pierre Jouannaud女士 , 费尔南多·奥雷贾斯 :
拖曳的统一和拖曳改写的汇合。 J.日志。 代数方法课程。 131 : 100845 ( 2023 ) 2022 [公元26年] 吉尔斯·道克 , 加斯帕德·弗雷 , Jean-Pierre Jouannaud女士 
, 刘嘉祥 :
通过检查嵌套的临界对，左线性高阶重写理论的融合。 数学。 结构。 计算。 科学。 32 ( 7 ) : 898-933 ( 2022 ) 2020 [公元25年] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 冈田光弘 :
“感应数据类型系统”勘误表[理论计算科学.272（1-2）（2002）41-68]。 西奥。 计算。 科学。 817 : 81-82 ( 2020 ) 2019 [公元24年] 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 :
Drags：用于图形重写的组合代数框架。 西奥。 计算。 科学。 777 : 204-231 ( 2019 ) 2015 [公元23年] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
可计算性路径排序。 日志。 方法计算。 科学。 11 ( 4 ) ( 2015 ) [公元22年] Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
正常高阶终止。 ACM事务处理。 计算。 日志。 16 ( 2 ) : 13:1-13:38 ( 2015 ) 2012 [公元21年] Jean-Pierre Jouannaud女士 , 刘嘉祥 :
从图形融合到模块化。 西奥。 计算。 科学。 464 : 20-34 ( 2012 ) 2008 [公元20年] Jean-Pierre Jouannaud女士 , 富山义彦 :
模块化丘吉尔-罗瑟模块：全图。 国际期刊软件。 信息学 2 ( 1 ) : 61-75 ( 2008 ) 2007 [公元19年] Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
多态高阶递归路径排序。 美国临床医学杂志 54 ( 1 ) : 2:1-2:48 ( 2007 ) 2006 [公元18年] Kokichi Futatsugi公司 , Jean-Pierre Jouannaud女士 , 何塞·梅塞盖尔 :
约瑟夫·高根（1941-2006）。 牛市。 EATCS公司 90 : 199-201 ( 2006 ) 2002 [公元17年] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 冈田光弘 :
感应数据型系统。 西奥。 计算。 科学。 272 ( 1-2 ) : 41-68 ( 2002 ) 2001 [公元16年] 阿德尔·布胡拉 , Jean-Pierre Jouannaud女士 :
自动驱动的自动感应。 Inf.计算。 169 ( 1 ) : 1-22 ( 2001 ) 2000 [公元15年] 阿德尔·布胡拉 , Jean-Pierre Jouannaud女士 , 何塞·梅塞盖尔 :
成员关系等式逻辑中的说明和证明。 西奥。 计算。 科学。 236 ( 1-2 ) : 35-132 ( 2000 ) 1999 [公元14年] 休伯特·科蒙 , 穆罕默德·丁卡斯 , Jean-Pierre Jouannaud女士 , 克洛德·基什内尔 :
约束解决的方法论观点。 制约国际期刊。 4 ( 4 ) : 337-361 ( 1999 ) 1998 [j13] Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
重写eta-Long beta范式中高阶项的排序和递归路径排序。 西奥。 计算。 科学。 208 ( 1-2 ) : 33-58 ( 1998 ) 1997 [公元12年] Jean-Pierre Jouannaud女士 , 冈田光弘 :
抽象数据类型系统。 西奥。 计算。 科学。 173 ( 2 ) : 349-391 ( 1997 ) 1994 [公元11年] 休伯特·科蒙 , 玛丽安·哈伯斯特劳 , Jean-Pierre Jouannaud女士 :
句法、循环句法和浅层理论。 Inf.计算。 111 ( 1 ) : 154-191 ( 1994 ) [公元10年] Jean-Pierre Jouannaud女士 :
书评：一般统一的证明理论。 韦恩·斯奈德（Wayne Snyder）。 （Birkhauser，1991年。 vi+175页。 国际标准图书编号0-8176-3593-9$ 28.00). SIGACT新闻 25 ( 2 ) : 25 ( 1994 ) 1992 [公元9年] Jean-Pierre Jouannaud女士 , 克洛德·基什内尔 , 赫莱内·基什内尔 , 阿里斯蒂德·梅格里斯 :
OBJ中使用均衡器、子端口、过载和参数化进行编程。 J.日志。 程序。 12 ( 3&4 ) : 257-279 ( 1992 ) [j8] Jean-Pierre Jouannaud女士 , 克劳德·马奇 :
终止和完成模关联性、交换性和同一性。 西奥。 计算。 科学。 104 ( 1 ) : 29-51 ( 1992 ) 1991 [j7] 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 :
重写符号。 牛市。 EATCS公司 43 : 162-174 ( 1991 ) 1989 [j6] Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 :
无构造函数理论中的归纳自动证明。 Inf.计算。 82 ( 1 ) : 1-33 ( 1989 ) [j5] 亚历山大·布德特 , Jean-Pierre Jouannaud女士 , 曼弗雷德·施密特·沙乌 :
布尔环和阿贝尔群中的统一。 J.塞姆。 计算。 8 ( 5 ) : 449-477 ( 1989 ) 1986 【j4】 Jean-Pierre Jouannaud女士 , 赫莱内·基什内尔 :
完成一组规则模一组方程。 SIAM J.计算。 15 ( 4 ) : 1155-1194 ( 1986 ) 1985 [j3] Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 :
在没有构造器的方程式理论中通过归纳法证明。 牛市。 EATCS公司 27 : 49-55 ( 1985 ) 1984 [注2] Jean-Pierre Jouannaud女士 , 赫莱内·基什内尔 :
D'un Plus建筑小品简化。 RAIRO理论。 信息学应用。 18 ( 三 ) : 191-208 ( 1984 ) 1982 [j1] Jean-Pierre Jouannaud女士 , 皮埃尔·莱斯坎 :
关于多集排序。 信息处理。 莱特。 15 ( 2 ) : 57-63 ( 1982 )
会议和研讨会文件
2021 [公元64年] 加斯帕德·弗雷 , Jean-Pierre Jouannaud女士 :
非左线性非类型化高阶重写理论中的合流。 PPDP（PPDP） 2021 : 8:1-8:14 2020 [公元63年] Jean-Pierre Jouannaud女士 , 费尔南多·奥雷贾斯 :
龙的统一。 联合国国际金融中心 2020 : 8:1-8:7 2018 [c62] 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 :
图形路径顺序。 LPAR公司 2018 : 307-325 2017 [第61条] Jean-Pierre Jouannaud女士 , Pierre-Yves支柱 :
无类型浇铸的Coq：Coq模理论的完整证明。 LPAR公司 2017 : 474-489 2015 [公元60年] 刘嘉祥 , Jean-Pierre Jouannaud女士 , 小川瑞之 :
分层重写系统的融合。 CSL公司 2015 : 423-440 [公元59年] Jean-Pierre Jouannaud女士 , 李建奇 :
独立类型重写规则的终止。 薄层色谱分析 2015 : 257-272 2014 [公元58年] 刘嘉祥 , Jean-Pierre Jouannaud女士 :
融合：地方性的统一、表达能力。 规范、代数和软件 2014 : 337-358 [公元57年] 刘嘉祥 , 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 :
通过关键对分析进行融合。 RTA-薄层色谱分析 2014 : 287-302 2013 [公元56年] 让·古堡-拉雷克 , Jean-Pierre Jouannaud女士 :
有限语义树的开花。 编程逻辑 2013 : 90-122 2012 [公元55年] Jean-Pierre Jouannaud女士 , 李建奇 :
正常重写的Church-Rosser属性。 CSL公司 2012 : 350-365 2011 [公元54年] 布鲁诺·巴拉斯 , Jean-Pierre Jouannaud女士 , Pierre-Yves支柱 , 钱旺（Qian Wang） :
CoQMTU：一种高阶类型理论，具有由可判定一阶理论参数化的宇宙预测层次。 低收入国家 2011 : 143-151 2010 [公元53年] Jean-Pierre Jouannaud女士 , 本杰明·莫纳特 :
有限字符串重写系统的无穷族及其合并。 LPAR（日惹） 2010 : 387-401 2009 [第52条] Jean-Pierre Jouannaud女士 , 文森特·范·奥斯特罗姆 :
图表汇合和完成。 ICALP（二） 2009 : 212-222 2008 [第51条] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
可计算性路径排序：任务的结束。 CSL公司 2008 : 1-14 [公元50年] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , Pierre-Yves支柱 :
从形式证明到数学证明：构建一阶决策过程的安全、增量方法。 IFIP TCS 2008 : 349-365 2007 [公元49年] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , Pierre-Yves支柱 :
在归纳结构演算中建立决策程序。 CSL公司 2007 : 328-342 [公元48年] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
具有可计算性闭包的HORPO：重建。 LPAR公司 2007 : 138-150 2006 [公元47年] 杰切克·克尔扎斯茨（Jacek Chrzaszcz） , Jean-Pierre Jouannaud女士 :
从OBJ到ML再到Coq。 献给约瑟夫·戈根的散文 2006 : 216-234 [公元46年] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
高阶终止：从Kruskal到可计算性。 LPAR公司 2006 : 1-14 [公元45年] Jean-Pierre Jouannaud女士 :
模块化Church-Rosser模块。 区域贸易协定 2006 : 96-107 [公元44年] Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
正常重写的高阶顺序。 区域贸易协定 2006 : 387-399 [公元43年] Jean-Pierre Jouannaud女士 , 伊恩·麦基 :
前言。 DCM@ICALP公司 2006 : 1-2 2005 [公元42年] Jean-Pierre Jouannaud女士 :
高阶改写：框架、融合与终结。 过程、术语和周期 2005 : 224-250 [公元41年] Jean-Pierre Jouannaud女士 :
二十年后。 区域贸易协定 2005 : 368-375 [公元40年] Jean-Pierre Jouannaud女士 , 徐伟文 :
从Coq证明中提取的程序的自动复杂性分析。 CLASE公司 2005 : 35-53 2004 [公元39年] Jean-Pierre Jouannaud女士 :
用于验证的定理证明语言。 ATVA公司 2004 : 11-14 1999 [公元38年] Jean-Pierre Jouannaud女士 , 拉尔夫·特雷恩 :
约束和约束求解：简介。 CCL公司 1999 : 1-46 [公元37年] Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
高阶递归路径排序。 低收入国家 1999 : 402-411 [公元36年] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 冈田光弘 :
代数构造微积分。 区域贸易协定 1999 : 301-316 1998 [公元35年] Jean-Pierre Jouannaud女士 :
成员资格等式逻辑、归纳指令演算和重写逻辑。 WRLA公司 1998 : 388-393 1997 [公元34年] 阿德尔·布胡拉 , Jean-Pierre Jouannaud女士 :
自动驱动的自动感应。 低收入国家 1997 : 14-25 [公元33年] 阿德尔·布胡拉 , Jean-Pierre Jouannaud女士 , 何塞·梅塞盖尔 :
成员关系等式逻辑中的说明和证明。 TAPSOFT公司 1997 : 67-92 1996 [公元32年] Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
中高阶项的递归路径排序 埃塔 -长 贝塔 -标准形状。 区域贸易协定 1996 : 108-122 1995 [公元31年] 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 , 简·威廉·克洛普 :
改写中的问题III。 区域贸易协定 1995 : 457-471 1994 [公元30年] 玛丽贝尔·费尔南德斯 , Jean-Pierre Jouannaud女士 :
术语重写系统的模块化终止。 罗盘/ADT 1994 : 255-272 [c29] Jean-Pierre Jouannaud女士 , 瓦利德·萨德菲 :
左线性重叠重写系统的强序列性。 CTRS公司 1994 : 235-246 1993 [公元28年] Jean-Pierre Jouannaud女士 :
重写简介。 术语重写 1993 : 1-15 [公元27年] 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 , 简·威廉·克洛普 :
重写中的更多问题。 区域贸易协定 1993 : 468-487 1992 [公元26年] Jean-Pierre Jouannaud女士 :
软件工程重写技术。 罗盘/ADT 1992 : 30-52 [c25] 休伯特·科蒙 , 玛丽安·哈伯斯特劳 , Jean-Pierre Jouannaud女士 :
浅方程理论中的可判定问题（扩展摘要）。 低收入国家 1992 : 255-265 1991 [公元24年] Jean-Pierre Jouannaud女士 , 克洛德·基什内尔 :
抽象代数中方程的求解：基于规则的统一综述。 计算逻辑——纪念艾伦·罗宾逊的论文 1991 : 257-321 【c23】 Jean-Pierre Jouannaud女士 , 冈田光弘 :
具有次项性质的序数符号系统的可满足性是可判定的。 ICALP公司 1991 : 455-468 [公元22年] Jean-Pierre Jouannaud女士 , 冈田光弘 :
可执行高阶代数规范语言的计算模型。 低收入国家 1991 : 350-361 【c21】 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 , 简·威廉·克洛普 :
重写中的开放问题。 区域贸易协定 1991 : 445-456 [公元20年] Jean-Pierre Jouannaud女士 :
可执行的高阶代数规范。 STACS公司 1991 : 16-25 1990 [第19条] 杰祥 , Jean-Pierre Jouannaud女士 :
基于重写的定理证明教程。 CADE公司 1990 : 684 [第18条] Jean-Pierre Jouannaud女士 , 克劳德·马奇 :
完成模关联性、交换性和同一性（AC1）。 DISCO公司 1990 : 111-120 [第17条] Jean-Pierre Jouannaud女士 :
句法理论。 MFCS公司 1990 : 15-25 1988 [c16] Jean-Pierre Jouannaud女士 , 克洛德·基什内尔 , 赫莱内·基什内尔 , 阿里斯蒂德·梅格里斯 :
OBJ：使用等式、子类、重载和参数化进行编程。 碱性磷酸酶 1988 : 41-52 [第15条] 亚历山大·布德特 , Jean-Pierre Jouannaud女士 , 曼弗雷德·施密特·沙乌 :
布尔环和阿贝尔群的自由扩张中的统一。 低收入国家 1988 : 121-130 1987 [c14] Jean-Pierre Jouannaud女士 , B.沃尔德曼 :
约简条件项重写系统。 编程概念的形式化描述 1987 : 223-244 1986 [第13条] Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 :
无构造函数的等式理论中归纳法的自动证明。 低收入国家 1986 : 358-366 1985 [第12条] 约瑟夫·高根 , Jean-Pierre Jouannaud女士 , 何塞·梅塞盖尔 :
顺序排序代数的运算语义。 ICALP公司 1985 : 221-231 [第11条] Kokichi Futatsugi公司 , 约瑟夫·高根 , Jean-Pierre Jouannaud女士 , 何塞·梅塞盖尔 :
OBJ2原则。 POPL公司 1985 : 52-66 1984 [第10条] Jean-Pierre Jouannaud女士 , 穆尼奥斯 :
一组规则的终止模一组方程。 CADE公司 1984 : 175-193 【c9】 Jean-Pierre Jouannaud女士 , 赫莱内·基什内尔 :
完成一组规则模一组方程。 POPL公司 1984 : 83-92 1983 【c8】 Jean-Pierre Jouannaud女士 :
使用REVE编程和检查数据类型。 ADT公司 1983 [c7] Jean-Pierre Jouannaud女士 :
合流和相干等式项重写系统：在抽象数据类型中的证明应用。 CAAP公司 1983 : 269-283 【c6】 Jean-Pierre Jouannaud女士 , 克洛德·基什内尔 , 赫莱内·基什内尔 :
赤道理论中统一算法的增量构造。 ICALP公司 1983 : 361-373 【c5】 Jean-Pierre Jouannaud女士 , 赫莱内·基什内尔 , 珍妮·卢克·雷米 :
弱终止项重写系统的Church-Rosser性质。 国际JCAI 1983 : 909-915 1982 【c4】 Jean-Pierre Jouannaud女士 , 皮埃尔·莱斯坎 , F.雷尼格 :
递归分解排序。 编程概念的形式化描述 1982 : 331-348 1981 【c3】 克洛德·基什内尔 , 赫莱内·基什内尔 , Jean-Pierre Jouannaud女士 :
代数操作作为符号二叉树中线性方程的统一和匹配策略。 国际JCAI 1981 : 1016-1023 1979 【c2】 Jean-Pierre Jouannaud女士 , 伊夫·科德拉托夫 :
使用“B.M.W.”匹配技术通过类SUMMERS方法从示例合成的一类函数的特征。 国际JCAI 1979 : 440-447 1977 【c1】 Jean-Pierre Jouannaud女士 , 杰拉德·D·吉奥 , Jean-Pierre Treuil女士 :
SISP/1：一个能够从示例中合成函数的交互式系统。 国际JCAI 1977 : 412-418
书籍或收藏品中的零件
2024 [第2页] Jean-Pierre Jouannaud女士 :
终止重写计算的合并。 法国编程学院 2024 : 265-306 1990 [第1页] 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 :
重写系统。 理论计算机科学手册，B卷：形式模型和符号学（B） 1990 : 243-320
编辑
2011 [电子9] Jean-Pierre Jouannaud女士 , 钟绍 :
认证程序和校对-第一届国际会议，CPP 2011，台湾垦丁，2011年12月7日至9日。 诉讼程序。 计算机科学课堂讲稿 7086, 施普林格 2011 ，国际标准图书编号 978-3-642-25378-2 【内容】 2007 [电子8] Jean-Pierre Jouannaud女士 , 伊恩·麦基 :
第二届计算模型发展国际研讨会论文集， DCM@ICALP公司 2006年7月16日，意大利威尼斯。 理论计算机科学电子笔记 171(3), 爱思维尔 2007 【内容】 2006 [电子7] Kokichi Futatsugi公司 , Jean-Pierre Jouannaud女士 , 何塞·梅塞盖尔 :
代数、意义和计算，在约瑟夫·高根65岁生日之际献给他的论文。 计算机科学课堂讲稿 4060, 施普林格 2006 ，国际标准图书编号 3-540-35462-X型 【内容】 1995 [电子6] 休伯特·科蒙 , Jean-Pierre Jouannaud女士 :
术语重写，法国春季理论计算机科学学院，Font Romeux，法国，1993年5月17日至21日，高级课程。 计算机科学课堂讲稿 909, 施普林格 1995 ，国际标准图书编号 3-540-59340-3 【内容】 1994 [电子5] Jean-Pierre Jouannaud女士 :
《计算逻辑中的约束》，第一届国际会议，1994年9月7日至9日，德国慕尼黑，CCL’94。 计算机科学课堂讲稿 845, 施普林格 1994 ，国际标准图书编号 3-540-58403-X型 【内容】 1993 [e4] 玛丽·克劳德·高德尔 , Jean-Pierre Jouannaud女士 :
TAPSOFT’93：软件开发理论与实践，CAAP/FASE国际联合会议，法国奥尔赛，1993年4月13日至17日，会议记录。 计算机科学课堂讲稿 668, 施普林格 1993 ，国际标准图书编号 3-540-56610-4 【内容】 1988 [e3] 圣卡普兰 , Jean-Pierre Jouannaud女士 :
条件词改写系统，第一届国际研讨会，法国奥赛，1987年7月8日至10日，会议记录。 计算机科学课堂讲稿 308, 施普林格 1988 ，国际标准图书编号 3-540-19242-5 【内容】 1985 [电子2] Jean-Pierre Jouannaud女士 :
函数编程语言和计算机体系结构，FPCA 1985，法国南希，1985年9月16日至19日，《会议录》。 计算机科学课堂讲稿 201, 施普林格 1985 ，国际标准图书编号 3-540-15975-4 【内容】 [电子1] Jean-Pierre Jouannaud女士 :
重写技术与应用，第一届国际会议，RTA-85，法国第戎，1985年5月20日至22日，会议记录。 计算机科学课堂讲稿 202, 施普林格 1985 ，国际标准图书编号 3-540-15976-2 【内容】
非正式出版物和其他出版物
2024 [第九章] 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 , 费尔南多·奥雷贾斯 :
拖动重写。 CoRR公司 abs/2406.16046 ( 2024 ) 2015 [i8] Jean-Pierre Jouannaud女士 , 刘嘉祥 , 小川瑞之 :
分层重写系统的融合。 CoRR公司 abs/1509.04699 ( 2015 ) 2008 [i7] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , Pierre-Yves支柱 :
从形式证明到数学证明：构建一阶决策过程的安全、增量方法。 CoRR公司 abs/0804.3762 ( 2008 ) [i6] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
可计算性路径排序：任务结束。 CoRR公司 abs/0806.2517 ( 2008 ) 2007 [i5] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , Pierre-Yves支柱 :
在归纳结构演算中建立决策程序。 CoRR公司 abs/0707.1266 ( 2007 ) [i4] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
具有可计算性闭包的HORPO：重建。 CoRR公司 腹肌/0708.3582 ( 2007 ) 2006 [i3] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
高阶终止：从Kruskal到可计算性。 CoRR公司 abs/cs/0609039 ( 2006 ) [i2] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 冈田光弘 :
代数构造微积分。 CoRR公司 abs/cs/0610063 ( 2006 ) [i1] 弗雷德里克·布兰基 , Jean-Pierre Jouannaud女士 , 冈田光弘 :
感应数据类型系统。 CoRR公司 abs/cs/0610066 ( 2006 )
合著者索引
