雷内·维斯特加德
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2018 [i2] 雷内·维斯特加德 , 埃曼纽尔·皮特里加 :
生命证据:分子生物学推理从第一原理模拟细胞行为。 CoRR公司 abs/1811.02478 ( 2018 ) 2012 【j4】 詹姆斯·切尼 , 迈克尔·诺里什 , 雷内·维斯特加德 :
形式化充分性:高阶抽象句法的个案研究。 J.汽车。 原因。 49 ( 2 ) : 209-239 ( 2012 )
2000 – 2009
2008 [i1] 圣埃芬·勒鲁 , 皮埃尔·莱斯坎 , 雷内·维斯特加德 :
转换/偏好游戏。 CoRR公司 abs/0811.0071 ( 2008 ) 2007 【c8】 Jittisak Senachak公司 , 蒙德兰吉·维斯特加德 , 雷内·维斯特加德 :
级联游戏。 AB公司 2007 : 185-201 【c7】 迈克尔·诺里什 , 雷内·维斯特加德 :
证明珍珠:德布鲁因条款确实有效。 TPHOL公司 2007 : 207-222 2006 [j3] 雷内·维斯特加德 :
序列纳什均衡的构造性方法。 信息处理。 莱特。 97 ( 2 ) : 46-51 ( 2006 ) 【c6】 查菲卡·切塔乌伊 , 弗兰克·德拉普拉斯 , 皮埃尔·莱斯坎 , 蒙德兰吉·维斯特加德 , 雷内·维斯特加德 :
重写博弈论作为基于国家的基因调控模型的基础。 CMSB公司 2006 : 257-270 2003 [注2] 雷内·维斯特加德 , 詹姆斯·布罗瑟斯顿 :
使用单排序变量名的微积分形式化的一阶合流证明。 Inf.计算。 183 ( 2 ) : 212-244 ( 2003 ) 2001 [j1] 雷内·维斯特加德 , J.B.威尔斯 :
切割规则和显式替换。 数学。 结构。 计算。 科学。 11 ( 1 ) : 131-168 ( 2001 ) 【c5】 雷内·维斯特加德 , 詹姆斯·布罗瑟斯顿 :
使用单排序变量名的lambda演算的形式化一阶汇流证明。 区域贸易协定 2001 : 306-321 【c4】 雷内·维斯特加德 , 詹姆斯·布罗瑟斯顿 :
巴伦德雷格特式等式证明的机械化(剩余透视)。 梅林 2001 : 18-36 【c3】 雷内·维斯特加德 :
评价归一化的简单类型理论。 WRS公司 2001 : 163-183 2000 【c2】 J.B.威尔斯 , 勒内·维斯特加德 :
与一类基元模块链接的等式推理。 员工持股计划 2000 : 412-428
1990 – 1999
1996 【c1】 奥利维尔·丹维 , 雷内·维斯特加德 :
基于语义的编译:面向类型的部分求值案例研究。 PLILP公司 1996 : 182-197
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)