默认搜索操作

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

问别人

2018年第12届RP：法国马赛

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/2018年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/2018
伊戈尔·波塔波夫,皮尔雷·阿莱恩·雷尼尔:
可达性问题——第十二届国际会议，RP 2018，法国马赛，2018年9月24日至26日，会议记录。计算机科学课堂讲稿11123,施普林格 2018，国际标准图书编号978-3-030-00249-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/砂光至W18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/SandrettoW18
朱利安·亚历山大·迪特·桑德雷托,健丸:
基于多主题验证Runge-Kutta的非线性常微分方程可达性分析。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/DayGHMN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/DayGHMN18
乔尔·戴伊,维杰·加内什,保罗·何,弗洛林·马内阿,德克·诺沃特卡:
字方程的可满足性：可判定和不可判定理论。 15-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/奥利维拉PHB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/OliveiraPHB18
史蒂文·德·奥利维拉,维吉尔·普雷沃斯托,彼得·哈贝梅尔,萨德克·本萨勒姆:
左旋矢量是轨道问题的证明。 30-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/黑格18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/HagueP18
马修·黑格,文森特·佩内尔:
约束动态树网络。 45-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/2018年1月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/JancarOS18
彼得·詹卡尔,彼得·奥西卡,兹德内克·萨瓦:
EXPSPACE倒计时游戏的完整变体，以及在简洁的单计数器网络上的模拟。 59-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Listsa18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Listsa18
阿列克谢·利西萨:
再次访问MU-Puzzle。有限反模型验证案例研究。 75-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Lohrey18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Lohrey18
马库斯·洛伊:
双曲群中的背包。 87-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Neary018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Neary018
图洛·尼里,马修·库克:
通用标签系统。 103-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/BonevaNS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/BonevaNS18
伊奥夫卡·博内娃,约阿希姆·尼伦,莫马尔·萨霍:
压缩字符串模式的特定查询答案：从流到超流。 117-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Skrzypczak18号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Skrzypczak18
米歇尔·斯科齐普扎克:
Büchi VASS识别∑¹₁-完整的ω-语言。 133-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/Sproston18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/Sproston18
杰里米·斯普洛斯顿:
开区间马尔可夫链的定性可达性。 146-160

管理网站设置

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