停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1995年第6届RTA：德国凯泽斯劳滕

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/1995
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/1995
Jieh Xiang先生:
重写技术与应用，第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日，会议记录。计算机科学课堂讲稿914,施普林格 1995，国际标准图书编号3-540-59200-8

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Matiyasevich95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Matiyasevich95
尤里·马蒂亚塞维奇:
论数理逻辑对重写技术的贡献：遗失的遗产（摘要）。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Marchiori95年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Marchiori95
马西莫·马尔奇奥里:
重新审视完整性的模块性。 2-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/斯坦巴赫95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Steinbach95
约阿希姆·斯坦巴赫:
带有转换订单的自动终止证明。 11-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/LysneP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/LysneP95
奥拉夫·莱斯纳,哈维尔·皮里斯:
高阶重写系统的终止排序。 26-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/ZantemaG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/ZantemaG95
汉斯·赞特玛,阿尔芬斯·盖瑟:
O终止的一个完整刻画^第页1^q个-> 1^第页O（运行）^秒. 41-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Nieuwenhuis95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Nieuwenhuis95
罗伯特·尼文胡斯:
关于缩小、拒绝证明和限制。 56-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KuriharaKO95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KuriharaKO95
栗原正仁,近藤久志,大内Azuma Ohuchi:
完成多次降价订单。 71-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/SchmidF95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/SchmidF95
克劳斯·施密德,罗兰·费蒂格:
建立一个有效的测试集以确定地面可恢复性。 86-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Stickel95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Stickel95
Mark E.Stickel公司:
当代归结定理证明中的术语重写（摘要）。 101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Asperti95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Asperti95网址
安德烈亚·阿斯佩蒂:
三角洲哦！Epsilon公司=1-优化最优λ-微积分实现。 102-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Graf95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Graf95
彼得·格拉夫:
替换树索引。 117-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Alouini95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Alouini95网址
伊利斯·阿洛伊尼:
并发重写的并发垃圾收集。 132-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KampermanW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KamermanW95
J.F.Th.坎伯曼,H.R.沃尔特斯:
懒惰的重写和急切的机械。 147-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/AnantharamanR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/AnantharamanR95
湿婆阿南塔拉曼,吉尔斯·理查德:
带否定逻辑程序的重写机制。 163-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/铃木MI95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/SuzukiMI95
铃木麻生太郎,阿尔特·米德尔多普,铁雄艾达:
在右边和右边有额外变量的条件重写系统的水平影响。 179-193
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Senizergues95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Senizergues95
盖劳德·塞尼泽格斯:
一种检验基本半Thue系统部分汇流的多项式算法。 194-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Gehrke95型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Gehrke95
沃尔夫冈·盖尔克:
以计算Comonad为例，讨论范畴概念的改写问题。 210-224
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/CorradiniGM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/CorradiniGM95
安德烈亚·科拉迪尼,法比奥·加杜奇,乌戈·蒙塔纳里:
将术语重写的两种分类模型联系起来。 225-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Kahrs95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Kahrs95
斯特凡·卡尔斯:
走向终结证明的领域理论。 241-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Nipkow95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Nipkow95
托比亚斯·尼普科:
高阶重写系统（摘要）。 256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KennewayKSV95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KennawayKSV95
理查德·肯纳韦,简·威廉·克洛普,M.Ronan睡眠,弗·扬·德弗里斯:
无限Lambda Calculi和Böhm模型。 257-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Kuper95型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Kuper95
简·库珀:
用最左约简证明遗传引理很简单。 271-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BakelF95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BakelF95
斯特芬·范·贝克尔,玛丽贝尔·费尔南德斯:
可打字重写系统的规范化。 279-293
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/LescanneR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/LescanneR95
皮埃尔·莱斯坎,Jocelyne Rouyer-Degli公司:
用de Bruijn的Levels显式替换。 294-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/博尔顿95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Boulton95
理查德·博尔顿:
应用于HDL语义的高阶重写限制形式。 309-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/WaltersZ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/WaltersZ95
H.R.沃尔特斯,汉斯·赞特玛:
重写整数算术系统。 324-338
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/AbdullabM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/AbdullabM95
哈比卜·阿卜杜拉布,Marianne Maksimenko:
线性丢番图方程组和不等式组的一般解。 339-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BaaderS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BaaderS95
弗兰兹·巴德,克劳斯·舒尔茨:
约束求解技术的组合：视图的代数POint。 352-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/OttoND95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/OttoND95
弗里德里希·奥托,巴利亚特·纳伦德兰,丹尼尔·道尔蒂:
等式统一的一些独立结果。 367-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Burghardt95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Burghardt95
Jochen Burghardt公司:
正则替换集：控制电子统一的方法。 382-396

系统描述

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/AvenhausDF95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/AvenhausDF95
尤尔根·阿文豪斯,约格·登津格,马蒂亚斯·富克斯:
折扣：分布式等式演绎系统。 397-402
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Bellegarde95号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Bellegarde95
弗朗索瓦斯·贝利加德:
ASTRE：走向全自动程序转换系统。 403-407
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BundgenGK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BundgenGK95
莱因哈德·邦根,曼弗雷德·哥贝尔,沃尔夫冈·库奇林:
并行ReDuX->PaReDuX。 408-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/ChenA95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/ChenA95
Ta Chen先生,湿婆阿南塔拉曼:
风暴：一对一的联合通信匹配器。 414-419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Chazarain M95号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/ChazarainM95
雅克·查扎兰,谢尔盖·穆勒:
LEMMA：方程理论中递归程序的自动综合系统。 420-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Giesl95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Giesl95
吉尔根·吉斯尔:
生成终止证明的多项式顺序。 426-431
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Holmes95型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Holmes95
兰德尔·霍姆斯先生:
将递归链式重写规则伪装为等式定理，如验证程序EFTTP Mark 2中所实现的。 432-437
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KirchnerM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KirchnerM95
赫莱内·基什内尔,Pierre-Etienne Moreau公司:
使用计算系统完成带约束的原型制作。 438-443
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Paccanaro95年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Paccanaro95
阿尔贝托·帕卡纳罗:
通过神经网络进行指导项约简：群论的一些初步结果。 444-449

问题集

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/StickelZ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/StickelZ95
Mark E.Stickel公司,张汉涛:
用重写技术研究拟群恒等式：问题和初步结果。 450-456
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/DershowitzJK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/DershowitzJK95
纳丘姆·德肖维茨,Jean-Pierre Jouannaud女士,简·威廉·克洛普:
改写中的问题III。 457-471

服务

管理网站设置

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