停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第30届LOPSTR 2020：意大利博洛尼亚

>主页 >会议和研讨会 >洛普斯特

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/2020
玛丽贝尔·费尔南德斯:
基于逻辑的程序合成与转换——第30届国际研讨会，LOPSTR 2020，意大利博洛尼亚，2020年9月7日至9日，会议记录。计算机科学课堂讲稿12561,施普林格 2021，国际标准图书编号978-3-030-68445-7

正在重写

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Meseguer20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Meseguer20网站
何塞·梅塞盖尔:
莫德的符号计算：一些塔帕斯。 3-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/WinklerM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/WinklerM20
莎拉·温克勒,乔治·莫瑟:
逻辑约束重写的运行时复杂性分析。 37-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Kikuchi020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Kikuchi020
肯塔罗·菊池,高仁青藤:
具有原子变量的标称重写系统的汇流和交换。 56-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/CirsteaLM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/loptr/CirsteaLM20
Horatiu Cirstea公司,皮埃尔·勒穆索,Pierre-Etienne Moreau公司:
模式消除转换。 74-92

统一

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Schmidt-Schauss20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Schmidt-Schauss20
曼弗雷德·施密特·沙乌,尤努斯·D·K·库茨:
与Letrec和环境变量的名义统一。 95-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/ErbaturMR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/ErbaturMR20
塞尔达尔·埃尔巴图尔,安德鲁·马歇尔,克里斯托夫·林盖森:
终止非直接联合统一。 113-130

类型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Farka20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Farka20
弗兰提塞克·法尔卡:
slepice：在类型理论中实现类型理论的验证。 133-150
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/休斯O20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/HughesO20
杰克·休斯,多米尼克果园:
基于分级线性类型的资源丰富的程序综合。 151-170

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/EsenR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/EsenR20
扎费尔·埃森,菲利普·吕默:
堆理论中的推理：可满足性和插值。 173-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/AmadiniGSSS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/AmadiniGSSS20
罗伯托·阿马蒂尼,格雷姆恒河,彼得·沙赫特,哈拉尔德·森德加德,彼得·斯塔基:
动态符号执行的算法选择：初步研究。 192-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/WenzelB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/loptr/WenzelB20
马里奥·温泽尔,斯特凡·布拉斯:
微控制器交互式数据日志程序到有限状态机的转换。 210-227

模型检验与概率规划

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/KlinkenbergBKKM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/KlinkenbergBKKM20
卢茨·克林肯伯格,凯文·巴茨,本杰明·卢西安·卡明斯基,Joost-Pieter Katoen公司,约书亚·莫尔曼,托比亚斯·温克勒:
概率程序的生成函数。 231-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/EnevoldsenJLMS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/EnevoldsenJLMS20
瑟伦·恩沃尔森,马蒂亚斯·克劳斯·詹森,金·古尔德斯特朗·拉森,安德斯·马里亚加,吉尔·斯尔巴:
通过抽象依赖图验证多人随机游戏。 249-268

程序分析和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/CassoM0H20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/CassoM0H20
伊格纳西奥·卡索,何塞·F·莫拉莱斯,佩德罗·洛佩斯·加西亚,曼纽尔·埃尔梅内吉尔多:
测试你的（静态分析）真相。 271-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/00020S20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/00020S20
卡洛斯·加林多,塞尔吉奥·佩雷斯,约塞普·席尔瓦:
使用不必要的控制依赖项分割无条件跳跃。 293-308

逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/松冈20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Matsuoka20
松冈佐治:
乘法线性逻辑证明网线性时间正确性条件的形式化模型。 311-328
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Tarau20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Tarau20
保罗·塔劳:
模态定义的综合和认识直觉逻辑的定理证明。 329-344

服务

管理网站设置

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