停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2010年第四届RP：捷克共和国布尔诺

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/2010年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/2010
安东·库塞拉,伊戈尔·波塔波夫:
可达性问题，第四届国际研讨会，RP 2010，布尔诺，捷克共和国，2010年8月28-29日。诉讼程序。计算机科学课堂讲稿6227,施普林格 2010，国际标准图书编号978-3-642-15348-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/HolzerK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/HolzerK10
马库斯·霍尔泽,马丁·库特里布:
不明确有限状态机和下推自动机的描述复杂性。 1-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Larsen公司10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Larsen10
金·古德斯特兰·拉森:
时间自动机的符号和合成可达性。 24-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Rabinovich10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Rabinovich10
亚历山大·拉比诺维奇:
线性时域上的时间逻辑是在PSPACE中。 29-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Schnoebelen10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Schnoebelen10
菲利普·施诺贝伦:
Lossy Counter Machines可判定性欺骗表。 51-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/安德烈F10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/AndreF10
埃蒂安·安德烈,劳伦特·弗里堡:
时间自动机的行为制图。 76-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/贝尔HH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/BellHH10
保罗·贝尔,Vesa哈拉瓦,米卡·希尔文萨洛:
关于有界矩阵语言的联合谱半径。 91-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Chaloupka10号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Chaloupka10
雅库布·查洛普卡:
具有状态的二维向量加法系统对策的Z可达性问题在P中。 104-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Margenstern10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Margenstern10
莫里斯·马根斯坦:
走向双曲元胞自动机的可决定性和不可决定性之间的边界。 120-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/NauroisM10型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/NauroisM10
保林·雅各布·德诺罗斯（Paulin Jacobéde Naurois）,维吉尔·莫比尔:
成对向量加法系统中可达性重写系统。 133-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/MundhenkW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/MundhenkW10
马丁·蒙德亨克,Felix Weiß:
直觉逻辑及其模态伴侣模型检查的复杂性。 146-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Velardo10型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Velardo10
费尔南多·罗莎·维拉尔多:
具有名称绑定的多集重写系统中的深度有界性。 161-175
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Sawa10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Sawa10
兹德内克·萨瓦:
一元NFA所接受语言的半线性表示的有效构造。 176-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Wei10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Wei10
方伟:
使用树分解的高效图形可达性查询答案。 183-197

服务

管理网站设置

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