停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2018年第九届GandALF：德国萨尔布吕肯

>主页 >会议和研讨会 >甘道夫

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-02416
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-02416
安德烈亚·奥兰迪尼,马丁·齐默尔曼:
第九届国际运动会、自动化、逻辑和形式验证研讨会论文集，2018年9月26日至28日，德国萨尔布吕肯，GandALF 2018。 EPTCS系统277,2018
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03887
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03887
亚历山大·韦纳:
量化约简和顶点排名无限游戏。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03888
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03888
托马斯·布里海耶,维罗妮克·布鲁耶尔,阿琳·戈敏,Jean-François Raskin女士:
具有ω-正则布尔目标的弱子对策完全均衡的约束存在性问题。 16-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03093
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03093
阿诺·保利:
参数化游戏和参数化自动机。 30-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03094
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03094
费德里科·阿斯奇里,阿加塔·恰巴托尼,弗朗西斯科·詹科:
作为并行程序的经典证明。 43-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-00710
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-00710
彼得罗·加利亚尼:
团队语义中的安全依赖原子和可能性操作符。 58-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03095
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03095
埃里克·古堡,杰雷米·莱登特,塞尔吉奥·拉兹鲍姆:
用于研究分布式任务可计算性的动态认识逻辑的简单复杂模型。 73-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/Tentrup16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Tentrup16
杰斯科·赫金·哈布什,Leander Tentrup公司:
通过抽象求解QBF。 88-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03097
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03097
莉塞特·桑切斯,威格·威瑟林克,蒂姆·A·C·威廉斯:
基于BDD的奇偶校验博弈求解器的比较。 103-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03098
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03098
佩特拉·范登博斯,玛丽埃尔·斯托琳加:
测试人员与错误：通过游戏进行基于模型测试的通用框架。 118至132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03099
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03099
A.R.巴拉苏布拉曼尼亚语:
良好结构广播网络覆盖性的参数化验证。 133-146年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03889
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03889
托拜厄斯·冈德森,弗洛里安·洛伯,乌里克·尼曼,克里斯蒂安·奥维森:
轻松的故障定位：埃克达尔实时系统的一致性测试。 147-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03100
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03100
米歇尔·齐亚里,迪诺·曼德里奥利,马泰奥·普拉德拉:
运算符优先语言的时序逻辑和模型检查。 161-175
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03101
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03101
卢卡·盖蒂,尼古拉·吉甘特,安吉洛·蒙塔纳里,马克·雷诺兹:
TPTL和TPTLb+过去的单通道和树形表格系统。 176-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03103
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03103
劳拉·博泽利,阿尔贝托·莫利纳里,安吉洛·蒙塔纳里,阿德里亚诺·佩隆:
密集时间域上基于时间线的规划的复杂性：探索中间地带。 191-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03104
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03104
马尔金·普日比尔科:
关于一阶可定义树集的测度的计算。 206-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03106
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03106
蒂亚戈·阿尔夫斯·罗查,安娜·特蕾莎·C·马丁斯,弗朗西尔伯·马丁斯·费雷拉:
寻找与字符串样本一致的一阶句子。 220-234
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/gandalf/BozzelliMP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gandalf/BozzelliMP18
劳拉·博泽利,阿尼埃洛·穆拉诺,阿德里亚诺·佩隆:
时间上下文自由时序逻辑。 235-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03107
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03107
帕特里夏·布耶,毛里西奥·冈萨雷斯,尼古拉斯·马基,米凯尔·兰德尔:
具有可达性目标的多加权马尔可夫决策过程。 250-264
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-03108
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-03108
达娜·安格鲁因,达娜·菲斯曼:
具有信息权同余的正规欧米伽语。 265-279

服务

管理网站设置

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