×
编辑配置文件（在新选项卡中打开）

乔尔·德斯佩鲁

合著者距离
作者ID： despeyroux.joelle（绝望者）Joélle Despeyroux最近发表的zbMATH文章
发布日期： 乔尔·德斯佩鲁;乔尔·德斯佩罗;Despeyroux，J。
已编制索引的文档： 13出版物自1992年起
合著者： 9合著者具有10联合出版物
244位合作作者
全部的 前5名

合著者

三 单作者的
三 皮埃尔·勒鲁
三 卡洛斯·奥拉特
2 考斯托夫·乔杜里
2 艾米·费尔蒂（Amy P.Felty）。
2 弗兰克·芬宁
2 伊莱恩·皮门特尔
2 卡斯滕·舒尔曼
1 伊丽莎白·德·玛丽亚
1 彼得罗·利奥

系列

2 MSCS公司。计算机科学中的数学结构
1 比特币
1 理论计算机科学
1 函数与逻辑程序设计杂志

领域

10 数学逻辑和基础（03-XX）
8 计算机科学（68至XX）
三 生物学和其他自然科学（92-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

12出版物有被引用55中的次45文件 引用人▼ 年份▼
高阶抽象语法的基本递归。 Zbl 0994.68028号
舒尔曼，C。;J·德斯佩罗。;普芬宁，F。
15
2001
\（\pi\）-演算的高阶规范。 Zbl 0998.68538号
乔尔·德斯佩鲁
9
2000
高阶抽象语法的基本递归。 Zbl 1063.03511号
乔尔·德斯佩鲁;弗兰克·芬宁;卡斯滕·舒尔曼
8
1997
混合和次指数线性逻辑。 兹比尔1395.03034
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔
5
2017
约束转换系统的混合线性逻辑。 Zbl 1359.03027号
乔尔·德斯佩鲁;考斯托夫·乔杜里
5
2014
系统生物学的逻辑框架。 Zbl 1402.92210号
伊丽莎白·德·玛丽亚;乔尔·德斯佩鲁;艾米·费尔蒂（Amy P.Felty）。
4
2014
函数类型对象上的递归。 Zbl 1116.03306号
乔尔·德斯佩鲁;皮埃尔·勒鲁
三
2001
混合线性逻辑，重温。 Zbl 1456.03095号
考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔
2
2019
系统生物学（数学）逻辑（特邀论文）。 Zbl 1382.92142号
乔尔·德斯佩鲁
1
2016
提奥：一个交互式证明开发系统。 兹比尔0784.68074
乔尔·德斯佩鲁
1
1992
模态λ演算的元理论结果。 Zbl 0946.68016号
乔尔·德斯佩罗;皮埃尔·勒鲁
1
2000
乳腺癌进展模型的逻辑框架。 Zbl 1525.92029号
乔尔·德斯佩鲁;艾米·费尔蒂;彼得罗·利奥;卡洛斯·奥拉特
1
2019
混合线性逻辑，重温。 Zbl 1456.03095号
考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔
2
2019
乳腺癌进展建模的逻辑框架。 Zbl 1525.92029号
乔尔·德斯佩鲁;艾米·费尔蒂;彼得罗·利奥;卡洛斯·奥拉特
1
2019
混合和次指数线性逻辑。 Zbl 1395.03034号
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莲·皮门特尔
5
2017
系统生物学（数学）逻辑（特邀论文）。 Zbl 1382.92142号
乔尔·德斯佩鲁
1
2016
约束转换系统的混合线性逻辑。 Zbl 1359.03027号
乔尔·德斯佩鲁;考斯托夫·乔杜里
5
2014
系统生物学的逻辑框架。 Zbl 1402.92210号
伊丽莎白·德·玛丽亚;乔尔·德斯佩鲁;艾米·费尔蒂（Amy P.Felty）。
4
2014
高阶抽象语法的基本递归。 Zbl 0994.68028号
舒尔曼，C。;J·德斯佩罗。;普芬宁，F。
15
2001
函数类型对象上的递归。 Zbl 1116.03306号
乔尔·德斯佩鲁;皮埃尔·勒鲁
三
2001
\（\pi\）-演算的高阶规范。 Zbl 0998.68538号
乔尔·德斯佩鲁
9
2000
模态lambda演算的元理论结果。 Zbl 0946.68016号
乔尔·德斯佩罗;皮埃尔·勒鲁
1
2000
高阶抽象语法的基本递归。 兹比尔1063.03511
乔尔·德斯佩鲁;弗兰克·芬宁;卡斯滕·舒尔曼
8
1997
提奥：一个交互式证明开发系统。 Zbl 0784.68074号
乔尔·德斯佩鲁
1
1992
所有引用出版物 前5名被引用出版物
全部的 前5名

59位作者引用

8 卡洛斯·奥拉特
4 伊莱恩·皮门特尔
三 乔尔·德斯佩鲁
三 碧姬·品特卡
2 詹姆斯·布罗瑟斯顿
2 詹姆斯·切尼
2 戴维·齐亚鲁吉
2 莫雷诺，法拉斯基
2 艾米·费尔蒂（Amy P.Felty）。
2 戴安娜·赫米思
2 路易吉·利科里
2 马里诺·米库兰
2 尼甘，维韦克
2 弗兰克·芬宁
2 安德鲁·皮特斯（Andrew M.Pitts）。
2 卡斯滕·舒尔曼
2 雷内·维斯特加德
2 布鲁诺·泽维尔
1 雷纳尔德·阿弗尔德
1 纪尧姆·安巴尔
1 克莱门·奥伯特
1 彼得·布朗宁
1 路易斯·凯雷斯
1 考斯托夫·乔杜里
1 阿尔贝托·齐法格利翁
1 奥尔内拉·达达
1 Gilles Dowek
1 加贝，默多克-詹姆斯
1 让·H·盖利尔。
1 洛伦佐·盖里
1 Furio Honsell
1 Hu，Jason Z.S。
1 阿德里安·胡森
1 张俊英
1 杰·巴里
1 卡夫沃斯，G.A。
1 直纪小林
1 塞尔盖·伦格利特
1 玛丽娜·莱妮莎
1 迈克尔·门德勒
1 戴尔·艾伦·米勒
1 阿尔贝托·莫米利亚诺
1 倪兆忠
1 阿列克西·诺金
1 罗利·佩雷拉
1 佩雷斯，豪尔赫·A。
1 吉赛尔·赖斯
1 克莉丝汀·罗克尔
1 戴维·桑吉奥吉
1 斯蒂芬·谢勒
1 阿兰·施密特
1 韦恩·斯奈德
1 阿伦·斯塔姆
1 特拉西，Delphine
1 伯纳多·托尼霍
1 杰弗里·沃什伯恩
1 斯蒂芬妮·威里奇
1 于大川
1 乌玛·扎拉坎
全部的 前5名

8篇连载文章中引用

6 理论计算机科学
5 自动推理杂志
4 函数编程杂志
三 信息与计算
三 MSCS公司。计算机科学中的数学结构
1 符号计算杂志
1 逻辑程序设计理论与实践
1 计算机科学中的逻辑方法

在4个字段中引用

38 计算机科学（68至XX）
24 数学逻辑和基础（03-XX）
2 生物学和其他自然科学（92-XX）
1 量子理论（81-XX）

按年份列出的引文