伊夫·拉丰
人员信息
优化列表
2000 – 2009
2008 【c6】 伊夫·拉丰 , 皮埃尔·兰诺 :
正交矩阵的图改写:临界峰的研究。 区域贸易协定 2008 : 232-245 2007 [公元10年] 伊夫·拉丰 :
重写代数和几何。 申请。 分类结构。 15 ( 4 ) : 415-437 ( 2007 ) 2004 [公元9年] 伊夫·拉丰 :
软线性逻辑和多项式时间。 西奥。 计算。 科学。 318 ( 1-2 ) : 163-180 ( 2004 )
1990 – 1999
1998 [j8] 托马斯·埃尔哈德 , 伊夫·拉丰 , 劳伦特·雷格尼尔 :
前言。 数学。 结构。 计算。 科学。 8 ( 6 ) : 541 ( 1998 ) 1997 [j7] 伊夫·拉丰 :
交互组合器。 Inf.计算。 137 ( 1 ) : 69-101 ( 1997 ) [j6] 伊夫·拉丰 :
线性逻辑各种片段的有限模型性质。 J.塞姆。 日志。 62 ( 4 ) : 1202-1208 ( 1997 ) 【c5】 伊夫·拉丰 :
二维重写。 区域贸易协定 1997 : 228-229 1996 [j5] 伊夫·拉丰 , 安德烈·塞德洛夫 :
二阶乘法线性逻辑的不确定性。 Inf.计算。 125 ( 1 ) : 46-51 ( 1996 ) 【j4】 伊夫·拉丰 :
无指数二阶线性逻辑的不可判定性。 J.塞姆。 日志。 61 ( 2 ) : 541-548 ( 1996 ) 1993 【c4】 伊夫·拉丰 :
二维图的等式推理。 术语重写 1993 : 170-195 1991 [j3] 伊夫·拉丰 , 阿兰·普劳特 :
单体的Church-Rosser性质和同调。 数学。 结构。 计算。 科学。 1 ( 三 ) : 297-326 ( 1991 ) 【c3】 伊夫·拉丰 , 托马斯·斯特里彻 :
线性逻辑游戏语义。 低收入国家 1991 : 43-50 1990 【c2】 伊夫·拉丰 :
交互网络。 POPL公司 1990 : 95-108
1980 – 1989
1988 [注2] 伊夫·拉丰 :
线性抽象机。 西奥。 计算。 科学。 59 : 157-180年 ( 1988 ) [j1] 伊夫·拉丰 :
线性抽象机(勘误表)。 西奥。 计算。 科学。 62 ( 三 ) : 327-328 ( 1988 ) 1987 【c1】 吉恩·伊夫·吉拉德 , 伊夫·拉丰 :
线性逻辑和懒惰计算。 TAPSOFT,第2卷 1987 : 52-66