停止战争！

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

对于科学家：

默认搜索操作

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

问别人

约阿希姆·布莱特纳

>主页 >珀森斯

人员信息

附属： DFINITY基金会，瑞士
附属： 宾夕法尼亚大学，费城，宾夕法尼亚州，美国
从属关系（2016年博士）： 德国卡尔斯鲁厄卡尔斯鲁厄理工学院

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

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

2023
[公元18年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/AugussonBCJJSSS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/AugussonBCJJSSS23
伦纳特·奥古斯森,约阿希姆·布莱特纳,科恩·克莱森,兰吉特·贾拉,西蒙·佩顿·琼斯,奥林·西弗斯,盖伊·斯蒂尔（Guy L.Steele Jr.）。,蒂姆.斯维尼:
诗句演算：确定性函数逻辑程序设计的核心演算。程序。ACM计划。语言。 7(ICFP公司):417-447(2023)
[公元17年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/Britner23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/Breitner23
约阿希姆·布莱特纳:
更多固定点！（功能珍珠）。程序。ACM计划。语言。 7(ICFP公司):686-710(2023)
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/africacrypt/行BH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/africacrypt/RoweBH23
迪伦·罗,约阿希姆·布莱特纳,纳迪娅·亨宁格:
半比特币ECDSA Nonces的奇怪案例。非洲类型 2023:273至284
[i19]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2311-07223
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2311-07223
约阿希姆·布莱特纳,菲利普·加德纳,李在云,萨姆·林德利,马蒂亚·普雷特纳,肖家饶,安德烈亚斯·罗斯伯格,苏京琉,Wonho Shin公司,康拉德·瓦特,杨东军（Dongjun Youn）:
Wasm SpecTec：设计正式语言标准。 CoRR公司 abs/2311.07223(2023)
[i18]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/RoweBH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/RoweBH23
迪伦·罗,约阿希姆·布莱特纳,纳迪娅·亨宁格:
半个比特币ECDSA现时的奇怪案例。 IACR加密。电子打印架构。 2023:841(2023)
2021
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/BreitnerSLRWCW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/BreitnerSLRWCW21
约阿希姆·布莱特纳,Antal Spector-Zabusky公司,姚莉,克里斯汀·里兹卡拉,约翰·威格利,约书亚·M·科恩,斯蒂芬妮·威里奇:
准备，设置，验证！将hs-to-coq应用于真实的Haskell代码。 J.功能。程序。 31:e5（电子5）(2021)
2020
[c16]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isit/布雷特纳20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isit/BreitnerS20
约阿希姆·布莱特纳,马西耶·斯科尔斯基:
隐马尔可夫模型的显式Renyi熵。 ISIT公司 2020:2303-2308

2010 – 2019

请参阅常见问题解答

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

2019
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fc/布雷特纳H19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fc/BreitnerH19
约阿希姆·布莱特纳,纳迪娅·亨宁格:
有偏见的胡说八道：针对加密货币中弱ECDSA签名的格攻击。金融加密 2019:3-20
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/布雷特纳19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/Breitner19
约阿希姆·布莱特纳:
演示：万花筒。 ICFP农场 2019:49至51
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1910-11724
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1910-11724
Antal Spector-Zabusky公司,约阿希姆·布莱特纳,姚莉,斯蒂芬妮·威里奇:
拥抱机械化的形式化鸿沟。 CoRR公司 abs/1910.11724(2019)
[i16]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/BreitnerH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/BreitnerH19
约阿希姆·布莱特纳,纳迪娅·亨宁格:
有偏见的胡说八道：针对加密货币中弱ECDSA签名的格攻击。 IACR加密。电子打印架构。 2019:23(2019)
2018
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cl/Breitner18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cl/Breitner18
约阿希姆·布莱特纳:
致电Arity。计算。语言系统。结构。 52:65-91(2018)
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcs/BischofBGHMS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcs/BischofBGHMS18
西蒙·比肖夫,约阿希姆·布莱特纳,尤尔根格拉芙,马丁·赫克,马丁·莫尔,格雷戈·斯内尔廷:
低不确定性程序的低确定性安全性。 J.计算。安全。 26(三):335-366(2018)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Breitner18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Breitner18
约阿希姆·布莱特纳:
Launchbury的自然语义对于惰性评估的充分性。 J.功能。程序。 28:第1页(2018)
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/BreitnerSLRWW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/BreitnerSLRWW18
约阿希姆·布莱特纳,安塔利·斯佩克托·扎布斯基,姚莉,克里斯汀·里兹卡拉,约翰·威格利,斯蒂芬妮·威里奇:
准备，设置，验证！将hs-to-coq应用于真实的Haskell代码（经验报告）。程序。ACM计划。语言。 2(ICFP公司):89:1-89:16(2018)
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BischofBLS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BischofBLS18
西蒙·比肖夫,约阿希姆·布莱特纳,丹尼斯·洛纳,格雷戈尔·斯涅廷:
伊利·伊莎贝莱斯特·塞·库斯托斯·埃格利奥斯·普雷斯塔特（Illi Isabellistes Se Custodes Egregis Praabiant）。原则性软件开发 2018:267-282
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/Spector-Zabusky公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/Spector-Zabusky18
Antal Spector-Zabusky公司,约阿希姆·布莱特纳,克里斯汀·里兹卡拉,斯蒂芬妮·威里奇:
Total Haskell是合理的Coq。中央处理器 2018:14-27
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/Breitner18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/Breitner18网站
约阿希姆·布莱特纳:
被检查的承诺就是被遵守的承诺：检查测试。哈斯克尔@ICFP 2018:14-25
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/EisenbergBJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/EisenbergBJ18
理查德·艾森伯格,约阿希姆·布莱特纳,西蒙·佩顿·琼斯:
在模式中键入变量。哈斯克尔@ICFP 2018:94-105
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/VazouBKHH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/VazouBKHH18
尼基·瓦祖,约阿希姆·布莱特纳,罗斯·昆克尔,大卫·范·霍恩,格雷厄姆·赫顿:
定理证明：液体Haskell（函数珍珠）中的方程式推理。哈斯克尔@ICFP 2018:132-144
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1803-06960
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1803-06960
约阿希姆·布莱特纳,Antal Spector-Zabusky公司,姚莉,克里斯汀·里兹卡拉,约翰·威格利,斯蒂芬妮·威里奇:
准备，设置，验证！将hs-to-coq应用于真实的Haskell代码。 CoRR公司 abs/1803.06960(2018)
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1803-07130
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1803-07130
约阿希姆·布莱特纳:
超越正确和快速：检查测试。 CoRR公司 abs/1803.07130(2018)
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1805-08106
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1805-08106
约阿希姆·布莱特纳:
足够智能的编译器是一个定理证明器。 CoRR公司 abs/1805.08106(2018)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1806-03476
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1806-03476
理查德·艾森伯格,约阿希姆·布莱特纳,西蒙·佩顿·琼斯:
在模式中键入变量。 CoRR公司 abs/1806.03476(2018)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1806-03541
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1806-03541
尼基·瓦祖,约阿希姆·布莱特纳,威尔·昆克尔,大卫·范·霍恩,格雷厄姆·赫顿:
函数珍珠：所有定理的证明（液体哈斯克尔中的等式推理）。 CoRR公司 abs/1806.03541(2018)
[i10]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/Breitner18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/Breitner18
约阿希姆·布莱特纳:
关于向右滑动的更多信息。 IACR加密。电子打印架构。 2018:1163(2018)
2017
[公元11年]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/BreitnerHMS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/BreitnerHMS17
约阿希姆·布莱特纳,布莱恩·霍夫曼,尼尔·米切尔,克里斯蒂安·斯特纳格尔:
HOLCF-前奏曲。架构（architecture）。正式证明 2017(2017)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/SergeyVJB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/SergeyVJB17
伊利亚·谢尔盖,Dimitrios Vytiniotis炎,西蒙·佩顿·琼斯,约阿希姆·布莱特纳:
理论和实践中的模块化、高阶基数分析。 J.功能。程序。 27:第11页(2017)
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/BreitnerS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/BreitnerS17
约阿希姆·布莱特纳,克里斯·史密斯:
锁步模拟是儿童游戏（经验报告）。程序。ACM计划。语言。 1(ICFP公司):3:1-3:15(2017)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ches/BernsteinBGBHLV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ches/BernsteinBGBHLV17
丹尼尔·伯恩斯坦,约阿希姆·布莱特纳,丹尼尔·根金,莱昂·格罗特·布鲁因丁克,纳迪娅·亨宁格,坦尼娅·兰格,克里斯汀·范·弗伦达尔,尤瓦尔·亚罗姆:
滑入灾难：从左到右的滑动窗口泄漏。切 2017:555-576
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/瓦塞纳BR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/WassenaBR17
马可·瓦塞纳,约阿希姆·布莱特纳,亚历杭德罗·拉索:
保护并发懒惰程序免受信息泄露。 CSF公司 2017:37-52
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/BreitnerS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BreitnerS17
约阿希姆·布莱特纳,克里斯·史密斯:
锁步模拟是孩子的游戏。 CoRR公司腹肌/1705.09704(2017)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-09699
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-09699
约阿希姆·布莱特纳,马西耶·斯科尔斯基:
隐马尔可夫模型Renyi熵的解析公式。 CoRR公司 abs/1709.09699(2017)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-09286
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-09286
Antal Spector-Zabusky公司,约阿希姆·布莱特纳,克里斯汀·里兹卡拉,斯蒂芬妮·威里奇:
Total Haskell是合理的Coq。 CoRR公司 abs/1711.09286(2017)
[i6]
- 看法
  - 电子版@iacr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/iacr/BernsteinBGBHLV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iacr/BernsteinBGBHLV17
丹尼尔·伯恩斯坦,约阿希姆·布莱特纳,丹尼尔·根金,莱昂·格罗特·布鲁因丁克,纳迪娅·亨宁格,坦尼娅·兰格,克里斯汀·范·弗伦达尔,尤瓦尔·亚罗姆:
滑入灾难：从左到右的滑动窗口泄漏。 IACR加密。电子打印架构。 2017:627(2017)
2016
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/dnb/Breitner16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/Breitner16
约阿希姆·布莱特纳:
懒惰评估：从自然语义到机器检查的编译器转换。卡尔斯鲁厄理工学院，2016，国际标准图书编号978-3-7315-0546-4，第1-256页
[j8]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/Breitner16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/Breitner16
约阿希姆·布莱特纳:
令人惊讶的悖论。架构（architecture）。正式证明 2016(2016)
[j7]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/BreitnerL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/BreitnerL16
约阿希姆·布莱特纳,丹尼斯·洛纳:
不可思议的证明机器的元理论。架构（architecture）。正式证明 2016(2016)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/BreitnerEJW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/BreitnerEJW16
约阿希姆·布莱特纳,理查德·艾森伯格,西蒙·佩顿·琼斯,斯蒂芬妮·威里奇:
Haskell的安全零成本强制。 J.功能。程序。 26:e15（电子15）(2016)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/Breitner16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/Breitner16
约阿希姆·布莱特纳:
用难以置信的证明机进行可视化定理证明。 ITP公司 2016:123-139
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfmtp/布雷特纳16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfmtp/Breitner16
约阿希姆·布莱特纳:
难以置信的证明机器（受邀演讲）。 LFMTP公司 2016:5:1
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/post/BreitnerGHMS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/post/BreitnerGHMS16
约阿希姆·布莱特纳,尤尔根格拉芙,马丁·赫克,马丁·莫尔,格雷戈·斯内尔廷:
关于低确定性安全的改进。邮政 2016:68年至88年
2015
[j5]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/Breitner15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/Breitner15
约阿希姆·布莱特纳:
通话的安全性。架构（architecture）。正式证明 2015(2015)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/Breitner15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/Breitner15
约阿希姆·布莱特纳:
正式证明编译器转换安全。哈斯克尔 2015:35-46岁
2014
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/布雷特纳EJW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/BreitnerEJW14
约阿希姆·布莱特纳,理查德·A·艾森伯格,西蒙·佩顿·琼斯,斯蒂芬妮·威里奇:
Haskell的安全零成本胁迫。 ICFP公司 2014:189-202
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sfp/Breitner14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sfp/Breitner14
约阿希姆·布莱特纳:
致电Arity。函数式编程趋势 2014:34-50
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Breitner14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Breitner14
约阿希姆·布莱特纳:
Launchbury的自然语义对懒惰评估的正确性。 CoRR公司 abs/1405.3099(2014)
2013
【j4】
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/法新社/布莱特纳13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/Breitner13
约阿希姆·布莱特纳:
Launchbury的自然语义对懒惰评估的正确性。架构（architecture）。正式证明 2013(2013)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/BreitnerHMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BreitnerHMS13
约阿希姆·布莱特纳,布莱恩·霍夫曼,尼尔·米切尔,克里斯蒂安·斯特纳格尔:
Isabelle/HOLCF-Prelude认证HLints。 CoRR公司 abs/1306.1340(2013)
2012
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1204-2974
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1204-2974
约阿希姆·布莱特纳:
使用SAT Solvers解决测试迁移问题。 CoRR公司 abs/1204.2974(2012)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1207-2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-2017
约阿希姆·布莱特纳:
dup—Haskell中的显式un-sharing。 CoRR公司 abs/1207.2017(2012)
2011
[j3]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/Breitner11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/Breitner11
约阿希姆·布莱特纳:
一般三角形是唯一的。架构（architecture）。正式证明 2011(2011)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1106-3478
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1106-3478
约阿希姆·布莱特纳:
通过代码复制进行条件消除。 CoRR公司 abs/1106.3478(2011)
2010
[注2]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/Breitner10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/Breitner10
约阿希姆·布莱特纳:
自由群。架构（architecture）。正式证明 2010(2010)
[j1]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/Breitner10a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/Breitner10a
约阿希姆·布莱特纳:
Shivers的控制流分析。架构（architecture）。正式证明 2010(2010)

合著者索引

请参阅常见问题解答

服务

管理网站设置

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