停止战争！

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

对于科学家：

默认搜索操作

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

问别人

利伦·科恩0001

>主页 >珀森斯

人员信息

隶属关系： 以色列比尔沙瓦内盖夫本古里安大学
隶属关系（2016-2018）： 美国纽约州伊萨卡康奈尔大学
从属关系（2016年博士）： 以色列特拉维夫大学

其他同名人员

请参阅常见问题解答

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

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

2024
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/CohenJPR24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/CohenJPR24
利伦·科恩,阿德汉·贾巴林,安德烈·波佩斯库,鲁本·N.S.罗:
检查无限下降的复杂景观。程序。ACM计划。语言。 8(POPL公司):1352-1384(2024)
2023
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/0001R23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/001R23
利伦·科恩,文森特·拉里:
使用状态计算实现连续性。 CSL公司 2023:15:1-15:18
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/0001PRT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/0001PRT23
利伦·科恩,布鲁诺·达·罗查·佩瓦,文森特·拉里,艾伯克·托森:
通过Brouwer树的感应连续性。 MFCS公司 2023:37:1-37:16
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2301-04452
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2301-04452
加布里埃拉·乔拉基,利伦·科恩,吉尔·埃因齐格,列尔·勒曼:
基于几何分离的不确定度估计。 CoRR公司 abs/2301.04452(2023)
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2307-14168
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-14168
利伦·科恩,文森特·拉里:
TT公司^☐_C类：一个具有有效连续性实现者的可拓型理论家族。 CoRR公司 abs/2307.14168(2023)
2022
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/0001R22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/0001R22
利伦·科恩,文森特·拉里:
通过模式选择构建未被拒绝的扩展类型理论。金融稳定与发展部 2022:10点10分23秒
[第15条]
- 看法
  - 电子版@mlr.press（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/uai/Chouraqui0EL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/uai/Chouraqui0EL22
加布里埃拉·乔拉基,利伦·科恩,吉尔·埃因齐格,列尔·勒曼:
实时改进不确定度估计的几何方法。阿拉伯联合酋长国 2022:422-432
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2206-11562
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-11562
加布里埃拉·乔拉基,利伦·科恩,吉尔·埃因齐格,列尔·勒曼:
一种改进的实时不确定度估计的几何方法。 CoRR公司 abs/2206.11562(2022)
2021
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/000121文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/000121
利伦·科恩:
归纳法和共归纳法的非资金扣除。 CADE公司 2021:3-24
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Cohen公司21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Cohen21
利伦·科恩:
用非计算的形式计算。 CiE公司 2021:135-145
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Bickford公司0CR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Bickford0CR21
马克·比克福德,利伦·科恩,罗伯特·康斯特布尔,文森特·拉里:
Open Bar——一种布劳威尔式直觉主义逻辑，带有一点排除中间。 CSL公司 2021:11:1-11:23
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/0001MT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/0001MT21
利伦·科恩,埃蒂安·米奎,罗斯·泰特:
证据框架：扩展可实现性模型的统一框架。许可证 2021:1月13日
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/itp/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/2021
利伦·科恩,塞萨里·卡利西克:
第十二届交互式定理证明国际会议，ITP 2021，2021年6月29日至7月1日，意大利罗马（虚拟会议）。 LIPIcs公司193,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2021，国际标准图书编号978-3-95977-188-7 [目录]
2020
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/Coheren20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/CohenR20
利伦·科恩,鲁本·N·S·罗:
传递闭包逻辑的非完备性证明理论。 ACM事务处理。计算。日志。 21(4):31:1-31:31(2020)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001R20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0001R20
利伦·科恩,鲁本·N.S.罗:
通过闭包算子和证明循环集成归纳和共归纳。国际JCAR（1） 2020:375-394

2010 – 2019

请参阅常见问题解答

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

2019
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/RahliBCC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/RahliBCC19
文森特·拉里,马克·比克福德,利伦·科恩,罗伯特·康斯特布尔:
棒材归纳法与构造型理论相一致。美国临床医学杂志 66(2):13:1-13:35(2019)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CohenC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/CohenC19
利伦·科恩,罗伯特·康斯特布尔:
直觉的祖先逻辑。 J.日志。计算。 29(4):469-486(2019)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/logcom/0001RZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/0001RZ19
利伦·科恩,鲁本·N.S.罗,尤尼·佐哈尔:
在Herbrand结构中实现自动推理。 J.日志。计算。 29(5):693-721(2019)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/综合/CohenA19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/synthese/CohenA19
利伦·科恩,阿诺·阿夫伦:
中庸之道——不切实际的逻辑。合成。 196(7):2671-2693(2019)
[c9]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CohenFT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CohenFT19
利伦·科恩,索菲亚·阿伯雷·法罗,罗斯·泰特:
影响对建构主义的影响。 MFPS公司 2019:87-120
2018
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AvronC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AvronC18
阿诺·阿夫伦,利伦·科恩:
最小计算集合论中的应用数学。日志。方法计算。科学。 14(4)(2018)
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/0001R18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/0001R18
利伦·科恩,鲁本·N.S.罗:
基于无限下降的传递闭包逻辑中的一致归纳推理。 CSL公司 2018:17:1-17:16
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Avron018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Avron018
阿诺·阿夫伦,利伦·科恩:
最小计算宇宙的最小计算理论。 LFCS公司 2018:37-54
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Bickford公司0CR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Bickford0CR18
马克·比克福德,利伦·科恩,罗伯特·康斯特布尔,文森特·拉里:
通过选择序列超越教会训练的可计算性。许可证 2018:245-254
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Rahli0B18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Rahli0B18
文森特·拉里,利伦·科恩,马克·比克福德:
由单调库支持的已验证定理证明程序后端。 LPAR公司 2018:564至582
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1801-02387
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1801-02387
阿诺·阿夫伦,利伦·科恩:
最小计算集合论中的应用数学。 CoRR公司 abs/1801.02387(2018)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-00756
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-00756
利伦·科恩,鲁本·N.S.罗:
传递闭包逻辑的无限和循环证明系统。 CoRR公司 abs/1802.00756(2018)
2017
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/gcai/CohenZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/CohenZ17
利伦·科恩,尤尼·佐哈尔:
盒子里的推理：赫布兰德逻辑中的演绎。 GCAI公司 2017:107-120
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Cohen17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Cohen17
利伦·科恩:
通过计算意义语义实现祖先逻辑的完整性。 TABLEAUX公司 2017:247-260
2016
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfrea/AvronC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfrea/AvronC16
阿诺·阿夫伦,利伦·科恩:
在定义框架中形式化科学应用数学。 J.福尔马利兹。原因。 9(1):53-70(2016)
2015
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/CohenC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/CohenC15
利伦·科恩,罗伯特·康斯特布尔:
直觉祖先逻辑作为一种依赖类型的抽象编程语言。沃尔利克 2015:14-26
2014
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/CohenA14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/CohenA14
利伦·科恩,阿诺·阿夫伦:
祖先逻辑：证明理论研究。沃尔利克 2014:137-151

合著者索引

请参阅常见问题解答

服务

管理网站设置

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