伊曼纽尔·库纳利斯
人员信息
优化列表
2000 – 2009
2005 [公元11年] 奥利维尔·波西尼 , 卡琳·费德勒 , 伊曼纽尔·库纳利斯 :
将命令式程序重写为逻辑方程式。 科学。 计算。 程序。 56 ( 三 ) : 363-401 ( 2005 ) 2004 [公元10年] 帕斯卡·乌尔索 , 伊曼纽尔·库纳利斯 :
数学归纳法中的合理概括。 西奥。 计算。 科学。 323 ( 1-3 ) : 443-471 ( 2004 ) 2003 [公元22年] 帕斯卡·乌尔索 , 伊曼纽尔·库纳利斯 :
数学归纳法的“术语划分”。 RTA公司 2003 : 352-366 2002 [c21] 帕斯卡·乌尔索 , 伊曼纽尔·库纳利斯 :
Généralisations纠正了归纳数学。 JFPLC公司 2002 : 211-
1990 – 1999
1999 [公元20年] 伊曼纽尔·库纳利斯 , 帕斯卡·乌尔索 :
条件理论中归纳证明的泛化发现。 FLAIRS公司 1999 : 250-256 [第19条] 伊曼纽尔·库纳利斯 , 帕斯卡·乌尔索 :
情境演算中完整性约束的机械化证明。 国际能源署/美国国际能源署 1999 : 372-381 [第18条] 卡琳·费德勒 , 伊曼纽尔·库纳利斯 :
简单C性质的自动证明 - 模块。 酶 1999 : 283-286 1995 [公元9年] 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
条件公理推理。 安。数学。 Artif公司。 智力。 15 ( 2 ) : 125-149 ( 1995 ) [j8] 阿德尔·布胡拉 , 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
自动数学归纳法。 J.日志。 计算。 5 ( 5 ) : 631-668 ( 1995 ) 1994 [第17条] 雅克·查扎兰 , 伊曼纽尔·库纳利斯 :
一类Forall存在公式的机械化归纳证明。 CADE公司 1994 : 118-132 1993 [j7] 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
背景知识概念学习的逻辑框架。 国际艺术杂志。 智力。 工具 2 ( 三 ) : 329-348 ( 1993 ) 1992 [j6] 伊曼纽尔·库纳利斯 :
从一组方程描述的话语世界中的例子学习。 国际艺术杂志。 智力。 工具 1 ( 三 ) : 333-350 ( 1992 ) [j5] 伊曼纽尔·库纳利斯 :
Term重写系统中的接地(钴)可还原性测试。 西奥。 计算。 科学。 106 ( 1 ) : 87-117 ( 1992 ) [第16条] 伊曼纽尔·库纳利斯 :
一种基于简化的程序综合方法。 ECAI公司 1992 : 82-86 [第15条] 阿德尔·布胡拉 , 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
SPIKE,一个自动定理证明程序。 LPAR公司 1992 : 460-462 1991 【j4】 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
论号角理论中的词汇问题。 J.塞姆。 计算。 11 ( 1/2 ) : 113-127 ( 1991 ) [第14条] 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
条件理论的地面收敛性研究。 AMAST公司 1991 : 363-376 [第13条] 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
代数规格说明的自动证明方法。 FCT公司 1991 : 307-317 [c12] 伊曼纽尔·库纳利斯 , 丹尼斯·卢吉兹 , 洛伊克·波蒂尔 :
联想交换理论中补语问题的解决方法。 IWWERT公司 1991 : 197-214 [第11条] 伊曼纽尔·库纳利斯 , 丹尼斯·卢吉兹 , 洛伊克·波蒂尔 :
联想交换理论中补语问题的解决方法。 MFCS公司 1991 : 287-297 [第10条] 伊曼纽尔·库纳利斯 , 丹尼斯·卢吉兹 :
用关联交换函数编译模式匹配。 TAPSOFT,第1卷 1991 : 57-73 1990 [j3] 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
机械化归纳推理。 牛。 EATCS公司 41 : 216-226 ( 1990 ) 【c9】 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
机械化归纳推理。 AAAI公司 1990 : 240-245 【c8】 伊曼纽尔·库纳利斯 :
电感(Co)还原性测试。 CAAP公司 1990 : 221-238 【c7】 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
条件代数规格说明的证明系统。 CTRS公司 1990 : 51-63 【c6】 伊曼纽尔·库纳利斯 :
利用等式背景知识学习示例和反例。 TAI公司 1990 : 254-260 【c5】 伊曼纽尔·库纳利斯 :
重写系统生成的树语言的泵浦引理。 MFCS公司 1990 : 369-377
1980 – 1989
1989 [注2] Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 :
无构造函数理论中的归纳自动证明。 Inf.计算。 82 ( 1 ) : 1-33 ( 1989 ) 1988 【c4】 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
论号角理论中的词汇问题。 CADE公司 1988 : 527-537 1987 【c3】 伊曼纽尔·库纳利斯 , 米夏·鲁西诺维奇 :
论号角理论中的词汇问题。 CTRS公司 1987 : 144-160 1986 【c2】 Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 :
无构造函数的等式理论中归纳法的自动证明。 低收入国家 1986 : 358-366 1985 [j1] Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 :
在没有构造器的方程式理论中通过归纳法证明。 牛。 EATCS公司 27 : 49-55 ( 1985 ) 【c1】 伊曼纽尔·库纳利斯 :
数据类型规范的完整性。 欧洲计算机代数会议(2) 1985 : 348-362