停止战争！

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

对于科学家：

默认搜索操作

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

问别人

多米尼克·J·D·休斯

>主页 >珀森斯

人员信息

附属： 美国斯坦福大学

其他同名人员

请参阅常见问题解答

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2022
[c12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/HeijltjesHS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/HeijltjesHS22
威廉·B·海杰尔茨（Willem B.Heijltjes）,多米尼克·J·D·休斯,Lutz Stra汉堡:
无语法规范化。金融稳定与发展部 2022:19:1-19:19
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2204-09285
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2204-09285
达斯科·巴甫洛维奇,多米尼克·J·D·休斯:
从Dedekind-MacNeille到Lambek-Isbell的严格限制和完工。 CoRR公司 abs/2204.09285(2022)
2021
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HughesSW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HughesSW21
多米尼克·J·D·休斯,Lutz Stra汉堡,胡宣武:
一阶逻辑的组合证明和分解定理。低收入国家 2021:1月13日
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigir/LiuHY21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigir/LiuHY21
刘荆州,多米尼克·J·D·休斯,杨一鸣:
基于距离增强句图的无监督提取文本摘要。 SIGIR公司 2021:2313-2317
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2104-13124
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-13124
多米尼克·J·D·休斯,Lutz Stra汉堡,胡宣武:
一阶逻辑的组合证明和分解定理。 CoRR公司 abs/2104.13124(2021)
2020
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-07353
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-07353
达斯科·巴甫洛维奇,多米尼克·J·D·休斯:
附加词的核心和单子上的街道单子。 CoRR公司 abs/2004.07353(2020)

2010 – 2019

请参阅常见问题解答

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

2019
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HeijltjesHS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HeijltjesHS19
威廉·B·海杰尔茨（Willem B.Heijltjes）,多米尼克·J·D·休斯,Lutz Stra汉堡:
没有句法的直观证明。低收入国家 2019:1月13日
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/HeijltjesHS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/HeijltjesHS19
威廉·海杰斯,多米尼克·J·D·休斯,Lutz Stra汉堡:
一阶可加线性逻辑的证明网。金融稳定与发展部 2019:22:1-22:22
2018
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hughes公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Hughes18
多米尼克·J·D·休斯:
统一网：标准证明网量词。低收入国家 2018:540-549
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-03224
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-03224
多米尼克·J·D·休斯:
统一网：标准证明网量词。 CoRR公司 abs/1802.03224(2018)
2016
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HughesH16文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HughesH16
多米尼克·J·D·休斯,威廉·海尔捷斯:
冲突网：有效的局部规范MALL证明网。低收入国家 2016:437-446
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/GlabeekH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GlabeekH16
罗布·范·格拉贝克,多米尼克·J·D·休斯:
MALL证明网识别模规则交换的证明。 CoRR公司 abs/1609.04693(2016)
2015
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HeijltjesH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HeijltjesH15
威廉·海杰斯,多米尼克·J·D·休斯:
通过加性证明网和Petri网求和积逻辑的复杂性边界。低收入国家 2015:80-91
2012
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-6342
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-6342
多米尼克·J·D·休斯:
Wolfram和Cook的（2,5）Turing机器真的是通用的吗？ CoRR公司 abs/1208.6342(2012)
2010
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/Hughes10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/Hughes10
多米尼克·J·D·休斯:
无结构规则的最小经典序列演算。 Ann.纯粹应用。日志。 161(10):1244-1253(2010)

2000 – 2009

请参阅常见问题解答

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

2006
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Hughes06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Hughes06
多米尼克·J·D·休斯:
走向希尔伯特的24^第个问题：组合证明不变量：（初步版本）。沃尔利克 2006:37-63
2005
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/HughesG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/HughesG05
多米尼克·J·D·休斯,罗布·范·格拉贝克:
无单位乘加线性逻辑的证明网。 ACM事务处理。计算。日志。 6(4):784-842(2005)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/0001HS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/0001HS05
罗宾·休斯顿,多米尼克·J·D·休斯,安德烈亚·沙尔克:
无单元线性逻辑建模（初步结果）。 CoRR公司 abs/数学/0504037(2005)
2004
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcs/HughesS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcs/HughesS04
多米尼克·J·D·休斯,维塔利·施玛蒂科夫:
信息隐藏、匿名和隐私：模块化方法。 J.计算。安全。 12(1):3-36(2004)
2003
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HughesG03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HughesG03
多米尼克·J·D·休斯,罗布·范·格拉贝克:
无单位乘加线性逻辑的证明网（扩展抽象）。低收入国家 2003:1-10
2002
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/hhci/HughesWB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/hhci/HughesWB02
多米尼克·J·D·休斯,詹姆斯·沃伦,Orkut Buyukkokten公司:
经验双作用表：文本输入系统的评估和优化工具。应用I：触控笔键盘。嗯，计算。互动。 17(2-3):271-309(2002)

1990 – 1999

请参阅常见问题解答

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

1999
[c2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DevarajanHPP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DevarajanHPP99
哈里什·德瓦拉扬,多米尼克·J·D·休斯,戈登·普洛金,沃恩·R·普拉特:
Chu空间乘法线性逻辑的完全完备性。低收入国家 1999:234-243
1997
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hughes97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Hughes97
多米尼克·J·D·休斯:
系统F的游戏和可定义性。低收入国家 1997:76-86

服务

管理网站设置

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