默认搜索操作

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

问别人

道格拉斯·J·豪

>主页 >珀森斯

人员信息

其他同名人员

请参阅常见问题解答

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

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2010
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/Howe10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/Howe10
道格拉斯·J·豪:
Isabelle/HOL中的高阶抽象语法。 ITP公司 2010:481-484

2000 – 2009

请参阅常见问题解答

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

2009
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfmtp/Howe09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfmtp/Howe09
道格拉斯·J·豪:
经典高阶逻辑中的高阶抽象语法。 LFMTP公司 2009:1-11
2003
[c21]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/irtaw/HoweM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/irtaw/HoweM03
道格拉斯·J·豪,斯蒂芬·米切尔:
实时并发Ada程序的形式化验证方法。 IRTAW公司 2003:87-92
2001
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ism/HoweC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ism/HoweC01
道格拉斯·J·豪,詹姆斯·库卡罗:
电力放松管制：这是新博南萨。信息系统。管理。 18(三):83-91(2001)

1990 – 1999

请参阅常见问题解答

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

1999
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FeltyHR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FeltyHR99
艾米·费尔蒂,道格拉斯·J·豪,阿比克·罗伊乔杜里:
使用隐式语法的形式元理论，以及在异步系统数据抽象中的应用。 CADE公司 1999:237-251
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Howe99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Howe99
道格拉斯·J·豪:
利用类型理论证明交互式定理。 CSL公司 1999:578
1998
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FeltyHS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FeltyHS98
艾米·费尔蒂,道格拉斯·J·豪,弗兰克·A·斯托姆:
Nuprl中的协议验证。 CAV汽车 1998:428-439
[第17条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/frocos/Howe98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/Howee98
道格拉斯·J·豪:
在定理证明者之间共享数学库。 FroCoS公司 1998:161-176
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Howe98公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Howe98
道格拉斯·J·豪:
Nuprl的类型注释方案。 TPHOL公司 1998:207-224
1997
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FeltyH97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FeltyH97
艾米·费尔蒂,道格拉斯·J·豪:
利用Nuprl和HOL证明混合交互定理。 CADE公司 1997:351-365
1996
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Howe96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Howe96
道格拉斯·J·豪:
证明函数式编程语言中互模拟的一致性。 Inf.计算。 124(2):103-112(1996)
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/Howe96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/Howe96
道格拉斯·J·豪:
在Nuprl中嵌入HOL的语义基础。 AMAST公司 1996:85-101
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tpol/Howe96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Howe96网址
道格拉斯·J·豪:
将数学从HOL导入Nuprl。 TPHOL公司 1996:267-281
1994
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FeltyH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FeltyH94
艾米·费尔蒂,道格拉斯·J·豪:
战术定理的精化树证明和元变量证明。 CADE公司 1994:605-619
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FeltyH94型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FeltyH94
艾米·费尔蒂,道格拉斯·J·豪:
战术证据的通用化和重用。 LPAR公司 1994:1-15
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/HoweS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/HoweS94
道格拉斯·J·豪,斯科特·斯托勒:
将经典集合论和函数式程序设计语言相结合的一种操作方法。节气门执行器控制系统 1994:36-55
1993
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mcmaster/Howe93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mcmaster/Howe93
道格拉斯·J·豪:
Nuprl中函数程序的推理。函数编程、并发、仿真和自动推理 1993:145-164
1991
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/构造性/ChirimarH91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/constructivity/ChirimarH91
贾瓦哈尔·奇里马尔,道格拉斯·J·豪:
实施建设性实际分析：初步报告。计算机科学中的建构性 1991:165-178
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Howe91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Howe91
道格拉斯·J·豪:
论马丁·洛夫类型理论中的计算开放性。低收入国家 1991:162-172
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/盆地H91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/BasinH91
David A.盆地,道格拉斯·J·豪:
Martin-Löf类型理论的一些规范化性质及其应用。节气门执行器控制系统 1991:475-494
1990
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AllenCHA90文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AllenCHA90
斯图亚特·艾伦,罗伯特·康斯特布尔,道格拉斯·J·豪,威廉·艾特肯:
反射证明的语义。低收入国家 1990:95-105

1980 – 1989

请参阅常见问题解答

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

1989
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Howe89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Howe89
道格拉斯·J·豪:
惰性计算系统中的等式。低收入国家 1989:198-203
1988
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/豪88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Howe88网站
道格拉斯·J·豪:
Nuprl中的计算元理论。 CADE公司 1988:238-257
1987
【b2】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/us/Howe87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/us/Howe87
道格拉斯·J·豪:
构造型理论实现中的自动推理。美国康奈尔大学，1987
【c2】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/Howe87公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Howe87
道格拉斯·J·豪:
吉拉德悖论的计算行为。低收入国家 1987:205-214
1986
【b1】
- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0068834
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0068834
罗伯特·康斯特布尔,斯图亚特·艾伦,布罗姆利,兰斯·克莱维兰,J.F.克里默,罗伯·哈波,道格拉斯·J·豪,Todd B.Knoblock公司,纳克斯·保罗·门德勒,普拉卡什·帕南加登,詹姆斯·佐佐木,斯科特·史密斯:
用Nuprl证明开发系统实现数学。普伦蒂斯·霍尔 1986，国际标准图书编号978-0-13-451832-9第I-X页，1-299页
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Howe86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Howe86
道格拉斯·J·豪:
实施数论：Nuprl的实验。 CADE公司 1986:404-415

管理网站设置

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