默认搜索操作

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

问别人

理查德·博尔顿

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2000 – 2009

请参阅常见问题解答

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

2009
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BoultonHS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BoultonHS09
理查德·博尔顿,乔·赫德,康拉德·斯林德:
计算机辅助推理。 J.汽车。原因。 43(三):237-242(2009)
2004
[c17]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/博尔顿GHKM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/博尔顿GHKM04
理查德·博尔顿,汉内·戈特利布森,鲁思·哈迪,汤姆·凯尔西,乌尔苏拉·马丁:
控制工程设计验证。国际单项体育联合会 2004:21-35
2003
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/DennisCNBSM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/DennisCNBSM03
路易丝·丹尼斯,格雷厄姆·柯林斯,迈克尔·诺里什,理查德·博尔顿,康拉德·斯林德,托马斯·梅勒姆:
PROSPER工具包。国际期刊软件。技术工具。Transf公司。 4(2):189-210(2003)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/BultonHM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BultonHM03
理查德·博尔顿,鲁思·哈迪,乌尔苏拉·马丁:
单输入单输出连续时间控制系统的Hoare逻辑。高速列车控制中心 2003:113-125
2002
[j4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/WittleBB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/WhittleBB02
乔恩·惠特尔,阿兰·邦迪,理查德·博尔顿:
作为基于类比的ML编辑器设计框架的校对程序。形式方面计算。 13(3-5):403-421(2002)
2001
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2001年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/2001
理查德·博尔顿,保罗·杰克逊:
《高阶逻辑中的定理证明》，第14届国际会议，TPHOLs 2001，英国苏格兰爱丁堡，2001年9月3日至6日，会议记录。计算机科学课堂讲稿2152,施普林格 2001，国际标准图书编号3-540-42525-X型 [目录]
2000
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/sigir/PorterB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigir/PorterB00
马丁·波特,理查德·博尔顿:
Object Muscat，一个开放式搜索引擎。 SIGIR论坛 34(1):16-17(2000)
[第15条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/arw/博尔顿00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arw/Boulton00
理查德·博尔顿:
状态单声道感应校对的自动化。 ARW公司 2000
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cl/博尔顿S00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cl/BoultonS00
理查德·博尔顿,康拉德·斯林德:
相互递归函数归纳格式的自动推导和应用。计算逻辑 2000:629-643
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DennisCNBSRGM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DennisCNBSRGM00
路易丝·丹尼斯,格雷厄姆·柯林斯,迈克尔·诺里斯,理查德·博尔顿,康拉德·斯林德,格雷厄姆·罗宾逊,迈克尔·J·C·戈登,托马斯·梅勒姆:
PROSPER工具包。墨西哥玉米饼 2000:78-92

1990 – 1999

请参阅常见问题解答

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

1999
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Bulton99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Bulton99
理查德·博尔顿:
重写合并器的透明优化。 J.功能。程序。 9(2):113-146(1999)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WhittleBBL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WittleBBL99
乔恩·惠特尔,阿兰·邦迪,理查德·博尔顿,海伦·洛:
系统描述：CyNTHIA。 CADE公司 1999:388-392
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/WhittleBBL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/WittleBBL99
乔恩·惠特尔,阿兰·邦迪,理查德·博尔顿,海伦·洛:
基于Proofs-As-Programs的ML编辑器。酶 1999:166-173
1998
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SlindGBB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SlindGBB98
康拉德·斯林德,迈克尔·J·C·戈登,理查德·博尔顿,阿兰·邦迪:
系统描述：CL之间的接口^一M和HOL。 CADE公司 1998:134-138
【c9】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/frocos/SlindB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/SlindB98
康拉德·斯林德,理查德·博尔顿:
迭代对话和自动证明。 FroCoS公司 1998:317-336
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/博尔顿98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Boulton98
理查德·博尔顿:
从表示描述生成嵌入。 TPHOL公司 1998:67-86
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/BultonSBG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/BoultonSBG98
理查德·博尔顿,康拉德·斯林德,阿兰·邦迪,迈克尔·J·C·戈登:
蛤蜊和HOL之间的接口。 TPHOL公司 1998:87-104
1997
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Bulton97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Boulton97网址
理查德·博尔顿:
一种支持计算机语言形式推理的工具。墨西哥玉米饼 1997:81-95
1995
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/博尔顿95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Boulton95
理查德·博尔顿:
应用于HDL语义的高阶重写限制形式。区域贸易协定 1995:309-323
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tpol/博尔顿95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Boulton95
理查德·博尔顿:
HOL系统中的组合决策程序。 TPHOL公司 1995:75-89
1993
【b1】
- 看法
  - 电子版@bl.uk
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/民族精神/博尔顿93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Boulton93
理查德·博尔顿:
全扩展定理证明器的效率。英国剑桥大学，1993
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/Bulton93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/Bulton93
理查德·博尔顿:
完全扩张定理证明的惰性技巧。形式方法系统。设计。三(1/2):25-47(1993)
1992
【c3】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/tpcd/BultonGGHHT92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tpcd/BultonGGHHT92
理查德·博尔顿,安德鲁·戈登,迈克尔·J·C·戈登,约翰·哈里森,约翰赫伯特,约翰·范·塔塞尔:
有在HOL中嵌入硬件描述语言的经验。 TPCD公司 1992:129-156
[c2]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/tphol/Bulton92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Boulton92
理查德·博尔顿:
完全扩张定理证明的懒惰方法。 TPHOL公司 1992:19-38
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/tphol/Bulton92a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Boulton92a
理查德·博尔顿:
HOL系统的Boyer-Moore自动化。 TPHOL公司 1992:133-142

合著者索引

请参阅常见问题解答

管理网站设置

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