默认搜索操作

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

问别人

4.CTRS 1994：以色列耶路撒冷

>主页 >会议和研讨会 >CTRS公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/1994年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/1994
纳丘姆·德肖维茨,娜奥米·林登斯特劳斯:
条件重写和类型重写系统，第四届国际研讨会，CTRS-94，以色列耶路撒冷，1994年7月13日至15日，会议记录。计算机科学课堂讲稿968,施普林格 1995，国际标准图书编号3-540-60381-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/BachmairG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/BachmairG94
利奥·巴赫迈尔,哈拉尔德·甘津格:
关联-交换叠加。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/BasinW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/BasinW94
大卫·A·巴思,托比·沃尔什:
《涟漪演算》。 15-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Balbiani公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Balbiani94
菲利普·巴尔比亚尼:
几何理论中的方程求解。 31-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/BockmayrW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/BockmayrW94
亚历山大·博克迈尔,安德烈亚斯·沃纳:
用于递减条件项重写系统的LSE窄化。 51-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Bundgen94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Bundgen94
莱因哈德·邦根:
为具有内置操作的重写系统保留汇流。 71-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Dershowitz94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Dershowitz94
纳丘姆·德肖维茨:
分级终止。 89-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/FerreiraZ94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/FerreiraZ94
玛丽亚·费雷拉,汉斯·赞特马:
有充分依据的定期订单。 106-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Gelis94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Gelis94
Jean-Michel Gélis女士:
交流终止和应用的新特征。 124-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/GlauertK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/GlauertK94
约翰·葛劳特,苏拉布·卡西达什维利:
正交表达式约简系统中的相对归一化。 144-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Gramlich94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Gramlich94
伯恩哈德·格拉姆利希:
条件重写系统的终止和汇合。 166-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Hintermeier94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Hintermeier94网址
克劳斯·欣特迈尔:
如何将规范递减CTRS转换为等效规范TRS。 186-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Hoot94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Hoot94
查尔斯·霍特:
限制派生和条件重写系统的终止。 206-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Inverardi94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Inverardi94
保拉·因弗拉迪:
重写预订单关系。 223-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/JouannaudS94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/JouannaudS94
Jean-Pierre Jouannaud女士,瓦利德·萨德菲:
左线性重叠重写系统的强序列性。 235-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Kennaway公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Kennaway94
理查德·肯纳韦:
按需调用计算和并行性之间的冲突。 247-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/KucherovR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/KucherovR94
格雷戈里·库切洛夫,米夏·鲁西诺维奇:
带变量的线性词重写系统测试基约简的复杂性。 262-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/MoriM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/MoriM94
森喜朗,松本义弘:
笛卡尔闭范畴的一致性：一种序列方法。 276-295
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Ohlebusch94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Ohlebusch94
恩诺·奥勒布什:
构造函数共享条件项重写系统的模属性。 296-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/ToyamaO94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/ToyamaO94
富山义彦,奥山口美雄:
非重复项重写系统的Church-Rosser性质和唯一范式性质。 316-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/VerheulK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/VerheulK94
Jan C.Verheul公司,彼得·克鲁特:
基于保井映射的术语重写系统转换。 332-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/WirthB94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/WirthB94
克劳斯·佩特·沃思,克劳斯贝克:
数学归纳法证明的抽象概念和推理系统。 353-373

管理网站设置

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