停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

吉尔伯特神父0002

>主页 >珀森斯

人员信息

附属： INRIA，法国卡尚
附属： 法国替代能源和原子能委员会，系统与技术集成实验室，CEA-LIST，法国巴黎
从属关系（2018年博士）： 法国巴黎索邦大学

其他同名人员

请参阅常见问题解答

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[i1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2311-07185
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2311-07185
阿里·阿萨夫,纪尧姆·伯勒,拉斐尔·考德利埃,大卫·德拉哈耶,吉尔斯·道克,凯瑟琳·杜布瓦,吉尔伯特神父,皮埃尔·哈尔马格朗,奥利维尔·赫曼特,罗南·赛拉德:
Dedukti：基于λ∏-微积分模理论的逻辑框架。 CoRR公司 abs/2311.07185(2023)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Gilbert19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Gilbert19
吉尔伯特神父:
谓词子类型的可验证证书。员工持股计划 2019:440-466
2018
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/哈尔/吉尔伯特18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/Gilbert18
吉尔伯特神父:
用谓词子类型扩展高阶逻辑：应用于PVS。（逻辑扩展）。法国巴黎索邦大学，2018
2017
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fospacs/Gilbert17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Gilbert17网址
吉尔伯特神父:
自动构造证据。 FoSSaCS公司 2017:480-495
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/吉尔伯特17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/Gilbert17网址
吉尔伯特神父:
PVS中的证明文件。 ITP公司 2017:262-268年
2013
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DelahayeDGHH13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DelahayeDGHH13网址
大卫·德拉哈耶,达米安·多利盖兹,吉尔伯特神父,皮埃尔·哈尔马格朗,奥利维尔·赫曼特:
芝诺模数：当阿喀琉斯使用演绎模数超过乌龟时。 LPAR公司 2013:274-290

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。