停止战争！

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

对于科学家：

默认搜索操作

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

问别人

ACL2 2013:Laramie，WY，美国

>主页 >会议和研讨会 >ACL2型

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7123
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7123
鲁本·甘博阿,杰瑞德·戴维斯:
《ACL2定理证明器及其应用国际研讨会论文集》，ACL2 2013，美国怀俄明州拉腊米，2013年5月30日至31日。 EPTCS系统114,2013
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7855
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7855
马特·考夫曼,J斯特罗瑟·摩尔:
5.0、6.0和6.1版中对ACL2的增强。 5-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7856
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7856
Caleb Eggensperger公司:
校样：ACL2的新开发环境。 13-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7875
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7875
塞巴斯蒂安·乔斯滕,伯纳德·范·加斯特尔,朱利安·施马耳茨:
重用抽象函数和定理的宏。 29-41
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7857
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7857
大卫·A·格雷夫,康拉德·斯林德:
分部函数的分步索引方法。 42-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7858
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7858
希尔皮·戈尔,沃伦·亨特（Warren A.Hunt Jr.）。,马特·考夫曼:
抽象Stobjs及其在ISA建模中的应用。 54-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7859
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7859
Freek动词周,朱利安·施马耳茨:
异步电路构建块的验证。 70-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7860
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7860
卢卡斯·赫尔姆斯,鲁本·甘博阿:
量子电路解释器。 85-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7861
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7861
杰瑞德·戴维斯,索尔剑:
在ACL2中验证AIG算法。 95-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7862
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7862
伯纳德·范·加斯特尔,朱利安·施马耳茨:
XMAS的形式化。 111-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1304-7863
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7863
大卫·S·哈丁,塞缪尔·哈丁:
ACL2满足GPU：在ACL2中形式化基于CUDA的可并行全对最短路径算法。 127-142

服务

管理网站设置

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