停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2007年第18届RTA：法国巴黎

>主页 >会议和研讨会 >区域贸易协定

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/2007
弗兰兹·巴德:
术语重写与应用，第18届国际会议，RTA 2007，法国巴黎，2007年6月26日至28日，会议记录。计算机科学课堂讲稿4533,施普林格 2007，国际标准图书编号978-3-540-73447-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Leroy07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Leroy07网址
泽维尔·勒罗伊:
优化编译器的形式化验证。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/NieuwenhuisORR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/NieuwenhuisORR07
罗伯特·尼乌文豪斯,阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔,阿尔伯特·鲁比奥:
可满足性模理论的挑战。 2-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Pfenning07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Pfenning07网址
弗兰克·普芬宁:
显式替换的逻辑基础。 19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/AnantharamanNR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/AnantharamanNR07
湿婆阿南塔拉曼,巴利亚特·纳伦德兰,米夏埃尔·鲁西诺维奇:
带帽入侵者。 20-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BallandBKMR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BallandBKMR07
艾米莉·巴拉德,保罗·布劳纳,拉杜·科佩兹,Pierre-Etienne Moreau公司,安托万·雷尔斯:
汤姆：Piggybacking重写Java。 36-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BoichutGJR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BoichutGJR07
尤汉·博伊库特,托马斯·杰奈特,托马斯·詹森,卢卡·勒鲁:
静态分析仪快速原型的重写近似。 48-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/TourE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/TourE07（网址：https://dblp.org/rec/conf/rta/TourE07）
蒂埃里·德拉图尔男孩,Mnacho Echenim公司:
确定统一稳定的演示文稿。 63-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/CirsteaF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/CirsteaF07网址
Horatiu Cirstea公司,杰尔曼·福雷:
基于模式的微积分的融合。 78-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/DowekH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/DowekH07
吉尔斯·道克,奥利维尔·赫曼特:
超一致性意味着剪切消除的简单证明。 93-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/DurandS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/DurandS07
艾琳·杜兰德,盖劳德·塞尼泽格斯:
自底向上重写是一种反向可识别性保持。 107-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/DuvalEP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/DuvalEP07
多米尼克·杜瓦尔,拉希德·埃哈希德,普罗斯特（Frédéric Prost）:
垃圾回收的附加及其在图重写中的应用。 122-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/EchahedP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/EchahedP07
拉希德·埃哈希德,尼古拉斯·佩尔蒂埃:
带指针的数据结构的非严格合流重写系统。 137-152年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/EscobarM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/EscobarM07网址
圣地亚哥·埃斯科瓦尔,何塞·梅塞盖尔:
使用窄化对无限状态系统进行符号模型检查。 153-168年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Santo07年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Santo07网址
何塞·埃斯皮里托·桑托:
延迟替换。 169-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/GodoyH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/GodoyH07网址
吉勒姆·戈多伊,爱德华·亨廷福德:
浅项重写系统的内最可达性和内最可结合性是可决定的。 184-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/GodoyHT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/GodoyHT07
吉勒姆·戈多伊,爱德华·亨廷福德,阿什什·蒂瓦里:
终止使用Right Flat规则重写。 200-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/HaemmerleF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/HaemmerleF07网址
雷米·海默尔,弗朗索瓦·法赫斯:
抽象的临界对和任意二元关系的汇流。 214-228
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/HendrixM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/HendrixM07网址
乔·亨德里克斯,何塞·梅塞盖尔:
上下文相关的订单分类规范的完整性。 229-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/HillsR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/HillsR07网址
马克·希尔斯,格里戈·罗苏:
KOOL：重写逻辑在语言原型和分析中的应用。 246-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Kikuchi07号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Kikuchi07网址
肯塔罗·菊池:
显式代换演算强正规化特征的简单证明。 257-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KorpM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KorpM07
马丁·科尔普,阿尔特·米德尔多普:
用边界证明重写系统的终止性。 273-287
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ra/KutsiaLV07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KutsiaLV07网址
Temur Kutsia公司,乔迪·利维,马图·维拉雷特:
通过货币统一顺序。 288-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/MarcheZ07年3月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/MarcheZ07网址
克劳德·马奇,汉斯·赞特马:
终止竞争。 303-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Oostrom07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Oostrom07网址
文森特·范·奥斯特罗姆:
随机下降。 314-328
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Schmidt-Schauss07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Schmidt-Schauss07网址
曼弗雷德·施密特·沙乌:
Letrec在微积分中的复制正确性。 329-343
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Strassburger07号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Strassburger07网址
Lutz Stra汉堡:
将媒体描述为重写规则。 344-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Tatsuta07号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Tatsuta07网址
Makoto Tatsuta公司:
Lambda Mu-Calculus中Mu-Reducation的最大长度。 359-373
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Vaux07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Vaux07网址
莱昂内尔·沃克斯:
关于线性组合λ-条款。 374-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/ZanklM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/ZanklM07网址
哈拉尔德·赞克,阿尔特·米德尔多普:
满足KBO约束。 389-403
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/ZantemaW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/ZantemaW07
汉斯·赞特马,约翰内斯·沃尔德曼:
通过准周期解释终止。 404-418

服务

管理站点设置

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