默认搜索操作

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

问别人

蒂埃里·德拉图尔男孩

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2312-13294
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2312-13294
蒂埃里·德拉图尔男孩:
代数重写规则的子集。 ACT公司 2023:20-38
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2303-01137
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-01137
蒂埃里·德拉图尔男孩:
代数专题转换。 CoRR公司 abs/2303.01137(2023)
2020
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/TourE20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/TourE20
蒂埃里·德拉图尔男孩,拉希德·埃哈希德:
属性图的并行重写。西奥。计算。科学。 848:106-132(2020)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wadt/Tour20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wadt/Tour20
蒂埃里·德拉图尔男孩:
专著，一种图形结构。 WADT（瓦特） 2020:54-74
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wadt/TourE20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wadt/TourE20
蒂埃里·德拉图尔男孩,拉希德·埃哈希德:
并行相干图变换。 WADT（瓦特） 2020:75-97
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wrla/TourE20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wrla/TourE20
蒂埃里·德拉图尔男孩,拉希德·埃哈希德:
结合并行图重写和商图。 WRLA@预计到达时间 2020:1-18
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/cor/abs-2102-02366
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-02366
蒂埃里·德拉图尔男孩:
属性图重写中的并行独立性。 FSCD术语表 2020:62-77
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 图书/sp/20/TourCOPS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/20/TourCOPS20
蒂埃里·德拉图尔男孩,里卡多·卡费拉,尼古拉·奥利维蒂,尼古拉斯·佩尔蒂埃,卡米拉·施温德:
自动扣除。人工智能研究导览（二）（二） 2020:53-81

2010 – 2019

请参阅常见问题解答

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

2019
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-08850
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-08850
蒂埃里·德拉图尔男孩,拉希德·埃哈希德:
真并行图变换：基于弱跨度的代数方法。 CoRR公司 abs/1904.08850(2019)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1907-06585
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-06585
蒂埃里·德拉图尔男孩:
并行相干变换的并行性定理和导出规则。 CoRR公司 abs/1907.06585(2019)
2018
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-03161
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-03161
蒂埃里·德拉图尔男孩,拉希德·埃哈希德:
并行图重写的集合理论框架。 CoRR公司腹肌/1808.03161(2018)
2017
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/gcai/Tour17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/Tour17
蒂埃里·德拉图尔男孩:
约束泛化算法的属性。 GCAI公司 2017:64-77
2016
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/TourP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/TourP16
蒂埃里·德拉图尔男孩,尼古拉斯·佩尔蒂埃:
通过二阶统一最小化证明$$\mathrm{LK}$$LK中的泛化。 J.自动化。原因。 57(三):245-280(2016)
2014
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/sci/TourP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/sci/TourP14
蒂埃里·德拉图尔男孩,尼古拉斯·佩尔蒂埃:
自动演绎中的类比：一项调查。类比推理的计算方法 2014:103-130
2011
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1107-4553
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1107-4553
蒂埃里·德拉图尔男孩,Mnacho Echenim公司:
求解初等阿贝尔p-对称群中的线性约束。 CoRR公司 abs/1107.4553(2011)

2000 – 2009

请参阅常见问题解答

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

2008
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TourEN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TourEN08
蒂埃里·德拉图尔男孩,Mnacho Echenim公司,巴利亚特·纳伦德兰:
统一与匹配模叶置换等式表示。国际JCAR 2008:332-347
2007
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/TourE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iadc/TourE07（网址：https://dblp.org/rec/journals/iadc/TourE07）
蒂埃里男孩巡回赛,Mnacho Echenim公司:
置换重写和统一。 Inf.计算。 205(4):624-650(2007)
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/TourE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/TourE07网址
蒂埃里·德拉图尔男孩,Mnacho Echenim公司:
确定统一稳定的演示文稿。区域贸易协定 2007:63-77
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/strages/2006年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/strategies/2006
米拉·阿切尔,蒂埃里·德拉图尔男孩,塞萨尔·穆尼奥斯:
第六届自动扣除策略国际研讨会论文集，IJCAR战略2006年，2006年8月16日，美国华盛顿州西雅图，部分PLoC 2006。理论计算机科学电子笔记174(11),爱思维尔 2007 [目录]
2006
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/ArcherTM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ArcherTM07
米拉·阿切尔,蒂埃里·德拉图尔男孩,塞萨尔·穆尼奥斯:
前言。 IJCAR战略 2006:1-2
2005
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/TourE05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/TourE05
蒂埃里·德拉图尔男孩,Mnacho Echenim公司:
一类置换理论中的统一。区域贸易协定 2005:105-119
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/strages/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/strategies/2004年
玛丽亚·保拉·博纳西纳,蒂埃里男孩巡回赛:
第五届自动扣除策略国际研讨会论文集，IJCAR战略2004年7月4日，爱尔兰科克。理论计算机科学电子笔记125(2),爱思维尔 2005 [目录]
2004
[j2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/TourE04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/TourE04
蒂埃里·德拉图尔男孩,Mnacho Echenim公司:
关于演绎模叶置换方程的复杂性。 J.自动化。原因。 33(3-4):271-317(2004)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TourE04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TourE04
蒂埃里·德拉图尔男孩,Mnacho Echenim公司:
重叠叶片排列方程。国际JCAR 2004:430-444
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BonacinaT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BonacinaT05
玛丽亚·保拉·博纳西纳,蒂埃里·德拉图尔男孩:
前言。 IJCAR战略 2004:1-3
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/TourC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/TourC05
蒂埃里·德拉图尔男孩,普拉卡什县:
模型的无同构半类枚举。 IJCAR战略 2004:91-113
2003
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TourE03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TourE03
蒂埃里·德拉图尔男孩,Mnacho Echenim公司:
NP-分层条件下演绎问题的完备性结果。 LPAR公司 2003:317-331
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/TourE03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/TourE03
蒂埃里·德拉图尔男孩,Mnacho Echenim公司:
关于叶置换理论和发生置换群。文件传输协议 2003:61-75
2002
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tour02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tour02
蒂埃里男孩巡回赛:
关于SEM中对称启发式的注记。 CADE公司 2002:181-194
2000
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/Tour00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/Tour00
蒂埃里·德拉图尔男孩:
无同构搜索的一些技术。 AISC公司 2000:240-252

1990 – 1999

请参阅常见问题解答

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

1998
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/TourFW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/TourFW98
蒂埃里·德拉图尔男孩,圣菲维尔,王东明:
三维几何推理的Clifford术语重写。几何中的自动演绎 1998:130-155
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftp/Tour98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftp/Tour98
蒂埃里·德拉图尔男孩:
关于有限排序代数的复杂性。 FTP（LNCS选择） 1998:95-108
1996
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tour96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tour96
蒂埃里·德拉图尔男孩:
基于语义对称的群计算地面分辨率。 CADE公司 1996:478-492
1995
【c8】
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/TourD95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/TourD95
蒂埃里·德拉图尔男孩,斯特凡·德姆里:
用对称规则扩展地面分辨率的复杂性。国际JCAI 1995:289-297
1992
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Tour92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Tour92
蒂埃里·德拉图尔男孩:
子句形式翻译的最佳结果。 J.塞姆。计算。 14(4):283-302(1992)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TourK92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TourK92
蒂埃里·德拉图尔男孩,克里斯托夫·克里茨:
通过Curry-Horward同构通过类比构建证明。 LPAR公司 1992:202-213
1991
【b1】
- 看法
  - 电子版@archives-ouvertes.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/哈尔/博伊德拉图尔91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/BoyDeLaTour91
蒂埃里·德拉图尔男孩:
优化资产重组是一种解决方案。（通过在解析方法中重命名进行优化）。法国格勒诺布尔理工学院，1991
1990
【c6】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aimsa/TourC90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aimsa/TourC90
蒂埃里·德拉图尔男孩,吉尔斯·夏米纳:
使用重命名提高子句定理证明的效率。 AIMSA公司 1990:3-12
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tour90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tour90
蒂埃里·德拉图尔男孩:
通过重命名最小化子句数。 CADE公司 1990:558-572

1980 – 1989

请参阅常见问题解答

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

1988
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TourCC88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TourCC88网站
蒂埃里·德拉图尔男孩,里卡多·卡费拉,吉尔斯·夏米纳:
推理实验室（ATINF）的一些工具。 CADE公司 1988:744-745
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/TourC88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issac/TourC88
蒂埃里·德拉图尔男孩,里卡多·卡费拉:
数学推理中常用的一些非正式技巧的形式化方法。 ISSAC公司 1988:402-406
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/TourCC88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/TourCC88
蒂埃里·德拉图尔男孩,里卡多·卡费拉,吉尔斯·夏米纳:
推理实验室（ATINF）的一些工具。 STACS公司 1988:395-396
1987
【c1】
- 看法
  - 电子版@aaai.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaai/TourC87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/TourC87
蒂埃里·德拉图尔男孩,里卡多·卡费拉:
交互式定理证明中的证明类比：一种通过二阶模式匹配来表示和使用它的方法。 AAAI公司 1987:95-99

合著者索引

请参阅常见问题解答

管理网站设置

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