停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2011年第18届WoLLIC大会：美国宾夕法尼亚州费城

>主页 >会议和研讨会 >沃尔利克

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/2011会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/2011
列夫·D·别克拉米舍夫,鲁伊·J·G·B·德·奎罗斯:
2011年5月18日至20日，美国宾夕法尼亚州费城，第18届逻辑、语言、信息和计算国际研讨会，WoLLIC 2011。诉讼程序。计算机科学课堂讲稿6642,施普林格 2011，国际标准图书编号978-3-642-20919-2

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Alur11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Alur11
拉杰夫·阿鲁尔:
流串传感器。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Iemhoff11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Iemhoff11
罗莎莉·伊姆霍夫:
逻辑上的统一。 2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Mitchell11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Mitchell11
约翰·米切尔:
密码协议具有精确边界的符号逻辑。 3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Voevodsky11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Voevodsky11
弗拉基米尔·沃沃德斯基:
数学单价基础。 4
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/冬季11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Winter11
尤德·温特:
关系概念和互惠逻辑。 5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Zakharyaschev11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Zakharyaschev11
迈克尔·扎克哈里亚舍夫:
WWW时代的逻辑：OWL视图。 6-7

已投稿论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/阿基略11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Achilleos11
安东尼斯·阿奇利奥斯:
论证逻辑中的一个复杂性问题。 8-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/AresCFM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/ArecesCFM11
卡洛斯·阿雷塞斯,法昆多·卡雷罗,圣地亚哥·菲格雷拉,塞尔吉奥·梅拉:
记忆逻辑的基本模型理论。 20-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BucheliKS11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BucheliKS11
塞缪尔·布切利,罗曼·库兹涅茨,托马斯·斯图德:
动态证明逻辑的部分实现。 35-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Charlton11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Charlton11
纳撒尼尔·查尔顿:
使用简单语义的高阶存储的Hoare逻辑。 52-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Clouston11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Clouston11
拉纳德·克鲁斯顿:
名义法律理论。 67-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Cunha11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Cunha11
奥布里达库尼亚:
Cayley图上的图灵机。 84-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/DondersMN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/DondersMN11
迈克尔·唐德斯,Sara Miner更多,帕维尔·诺莫夫:
有向非循环图上的信息流。 95-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/FerrarottiHKLV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/FerrarottiHKLV11
弗拉维奥·费拉罗蒂,斯文·哈特曼,亨宁·科勒,塞巴斯蒂安链接,米利斯特·W·文森特:
SQL的Boyce-Codd-Heath范式。 110-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/FerreiraFBSM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/FerreiraFBSM11
弗朗西尔伯·马丁斯·费雷拉,西贝莱·马托斯·弗雷尔,马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特,安娜·特蕾莎·C·马丁斯:
混合逻辑与NP图属性。 123-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/FigueiraGG11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/FigueiraGG11
圣地亚哥·菲格雷拉,丹尼尔·戈林,拉斐尔·格林森:
论IF-Logic与经典否定的表达力。 135-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Gutierrez11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Gutierrez11
朱利安·古铁雷斯:
部分顺序上的并发逻辑博弈。 146-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Horn11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Horn11
亚历山大·霍恩:
机器人导航后条件推理的动态认知代数。 161-175
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/JordanZ11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/JordanZ11
查尔斯·乔丹,托马斯·齐格曼:
Kahr-Moore-Wang类中的不可测属性。 176-186年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/KontineS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/KontineS11
朱哈·孔廷宁,雅库布·西曼尼克:
描述二阶广义量词的可定义性。 187-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Mints11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Mints11
格里戈里造币厂:
欧米茄规则的可计数版本。 201-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/SeveriV11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/SeveriV11网站
保拉·塞弗里,弗·扬·德弗里斯:
无限Lambda演算中无意义集格的分解。 210-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Shamkanov11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Shamkanov11
达尼亚尔·沙姆卡诺夫:
自反组合逻辑的强归一化与融合。 228至238
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Statman11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Statman11
瑞克·斯塔特曼:
论非类型化术语的多态类型。 239-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Thorne11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Thorne11
卡米洛·索恩:
查询英语片段。 257-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Verdee11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Verdee11
彼得·维尔德:
经典逻辑中分离合成和分解的强超一致性。 272-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Yanovich11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Yanovich11
伊戈尔·亚诺维奇:
自然语言的时间不确定性需要多少表达能力？ 293-309

服务

管理网站设置

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