停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第八届甘道夫2017：意大利罗马

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-01761
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-01761
帕特里夏·鲍耶,安德烈亚·奥兰迪尼,皮埃尔路易吉·圣彼得罗:
第八届奥运会、自动化、逻辑和形式验证国际研讨会论文集，2017年9月20日至22日，意大利罗马，GandALF 2017。 EPTCS系统256,2017
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1709-02092
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02092
阿列克桑达尔·迪莫夫斯基:
基于符号游戏语义和模型计数的概率分析。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-1709-02093
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02093
丽莎·赫申雷特,克里斯特尔·拜尔,约阿希姆·克莱因:
参数马尔可夫链：PCTL复杂性和无分数高斯消去。 16-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1709-02094
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02094
劳拉·博泽利,阿尔贝托·莫利纳里,安吉洛·蒙塔纳里,阿德里亚诺·佩隆:
具有正则表达式的区间时序逻辑HS的句法最大片段的模型检查复杂性。 31-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1709-02096
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02096
圣埃芬·勒鲁,埃里克·马丁·多尔,Jan-Georg Smaus公司:
Coq和Isabelle中Nash均衡的存在性定理。 46-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1709-02097
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02097
多梅尼科·坎通纳,阿尔菲奥·贾洛塔,史蒂芬·沃特森:
具有选择对应的布尔集理论的可满足性问题。 61-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1708-04845
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1708-04845
卡罗琳娜·莱蒂宁:
模态mu模型检验平价博弈的描述复杂性。 76-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Denkinger17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Denkinger17
托比亚斯·登金格:
带存储的加权自动机的近似。 91-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1709-02098
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02098
曼弗雷德·德罗斯特,Temur Kutsia公司,乔治·拉霍尼斯,沃尔夫冈·施莱纳:
MK-模糊自动机和MSO逻辑。 106-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1709-02099
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02099
马西莫·贝内雷切蒂,丹尼尔·德尔·埃尔巴,法比奥·莫加维罗:
奇偶博弈除法Impera算法的鲁棒指数最坏情况。 121-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-02100
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02100
托马斯·布里海耶,吉勒斯·杰拉尔茨,玛丽恩·哈利特,圣埃芬·勒鲁:
序贯游戏中的动力学和联合。 136-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-03539
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-03539
马丁·齐默尔曼:
延迟博弈中的有限状态策略。 151-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1709-02101
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02101
约翰·克里斯托弗·麦卡贝（John Christopher McCabe-Dansted）,马克·雷诺兹:
并行线性时序逻辑表。 166-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-02102
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02102
大卫·米勒,所罗门·西克特:
LTL致确定性艾默森·雷·自动机。 180-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-1709-02103
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02103
斯特凡诺·托内塔:
具有事件冻结功能的线性时间时序逻辑。 195-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/KuusistoR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KuusistoR17
安蒂·库西斯托,费比安·雷特:
分布式自动机的空问题。 210-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-02104
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02104
达里奥·德拉·莫妮卡,安吉洛·蒙塔纳里,彼得罗·萨拉:
超越ωB正则语言：ωT正则表达式和反检查自动机。 223-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-02105
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02105
劳尔·帕尔多,杰拉尔多·施奈德:
模型检查社交网络模型。 238-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-02106
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02106
西蒙·巴斯德,查尔斯·佩切尔:
约束可达性统一策略的基于反向遍历的符号模型检查方法。 253-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1709-02107
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02107
劳拉·博泽利,阿尼埃洛·穆拉诺:
关于ATL和ATL*模块检查的复杂性。 268-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-02108
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-02108
安德烈·桑德勒,奥尔加·特维雷蒂纳:
ParaPlan：平面多边形微分包含系统的并行可达性分析工具。 283-296

服务

管理网站设置

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