Jean-Baptiste儒瓦内
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2000 – 2009
2007 [j6] Jean-Baptiste儒瓦内 :
具有弱分配性的MLL证明网的完备性。 J.塞姆。 日志。 72 ( 1 ) : 159-170 ( 2007 ) 2003 [j5] 文森特·达诺斯 , Jean-Baptiste儒瓦内 :
线性逻辑和初等时间。 Inf.计算。 183 ( 1 ) : 123-137 ( 2003 ) 【j4】 文森特·达诺斯 , Jean-Baptiste儒瓦内 , 哈罗德·谢林克斯 :
经典逻辑中的计算同构。 理论。 计算。 科学。 294 ( 三 ) : 353-378 ( 2003 ) 【c4】 Jean-Baptiste儒瓦内 :
结构和证明网的微积分。 WoLLIC公司 2003 : 17 2002 [j3] Jean-Baptiste儒瓦内 , 哈罗德·谢林斯 , 洛伦佐·托托拉·德·法尔科 :
自由式LK的SN和CR tq(总质量) :线性装饰和标准化模拟。 J.塞姆。 日志。 67 ( 1 ) : 162-196 ( 2002 )
1990 – 1999
1997 [注2] 文森特·达诺斯 , Jean-Baptiste儒瓦内 , 哈罗德·谢林克斯 :
一种新的解构逻辑:线性逻辑。 J.塞姆。 日志。 62 ( 三 ) : 755-807 ( 1997 ) 1996 【c3】 Jean-Baptiste儒瓦内 , 哈罗德·谢林克斯 , 洛伦佐·托托拉·德·法尔科 :
所有样式LK的强归一化。 表格 1996 : 226-243 【c2】 文森特·达诺斯 , Jean-Baptiste儒瓦内 , 哈罗德·谢林克斯 :
经典逻辑中的计算同构。 线性逻辑东京会议 1996 : 183-195 1995 [j1] 文森特·达诺斯 , Jean-Baptiste儒瓦内 , 哈罗德·谢林克斯 :
直觉推导的线性修饰。 架构(architecture)。 数学。 日志。 33 ( 6 ) : 387-412 ( 1995 ) 1993 【c1】 文森特·达诺斯 , Jean-Baptiste儒瓦内 , 哈罗德·谢林克斯 :
指数结构:揭示线性逻辑证明的动力学。 库尔特·哥德尔座谈会 1993 : 159-171
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)