停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2007年第14届WoLLIC大会：巴西里约热内卢

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2007年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/2007
丹尼尔·利万特,鲁伊·J·G·B·德·奎罗斯:
逻辑、语言、信息和计算，第14届国际研讨会，WoLLIC 2007，巴西里约热内卢，2007年7月2-5日，会议记录。计算机科学课堂讲稿4576,施普林格 2007，国际标准图书编号978-3-540-73443-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BaranB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BaranB07
约阿希姆·巴兰,霍华德·巴林格:
可视下推语言的语法表示。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BechetF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BechetF07
丹尼斯·贝切特,安妮·福雷特:
完全词汇化的前组语法。 12-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BedregalCS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BedregalCS07
本杰明·R·C·贝德雷加,罗伯托·卡莱亚斯·贝德利加,赫利达·桑托斯:
作为区间范畴的有界格T-范数。 26-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BensaidP07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BensaidCP07
希查姆·本赛义德,里卡多·卡费拉,尼古拉斯·佩尔蒂埃:
定理证明者搜索空间的系统分析：第一步。 38-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BernardiM07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BernardiM07
拉斐拉·伯纳迪,迈克尔·穆尔加特:
对称范畴语法的延续语义。 53-71
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Bissell-Siders07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Bissell-Siders07网址
Ryan Bissell-Siders公司:
线性次序上的Ehrenfeucht-Fraíssé博弈。 72-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BolanderH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BolanderH07网址
托马斯·博兰德,勒内·里多夫·汉森:
环境微积分的混合逻辑分析。 83-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Brasoveanu07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Brasoveanu07
阿德里安·布拉索维亚努:
量词域的结构化回指：量词和模态从属的统一解释。 101-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BrodaD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BrodaD07
萨宾·布罗达,路易斯·达马斯:
关于BCK的主要类型-λ-条款。 120-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Dikovsky07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Dikovsky07网址
亚历山大·贾。迪科夫斯基:
有限状态功能语法体系结构。 131-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Foret07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Foret07网站
安妮·福雷特:
将微积分预分组为逻辑函数。 147-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Gabbay M07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/GabbayM07网址
默多克-加贝,阿德·马蒂杰森:
具有约束的非正式平等的形式演算。 162-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/GaldinoMA07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/GaldinoMA07网址
安德烈·路易斯·加尔迪诺,塞萨尔·穆尼奥斯,毛里西奥·阿亚拉·林科:
最佳空中交通冲突解决与恢复算法的形式化验证。 177-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/GardnerZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/GardnerZ07网址
菲利普·加德纳,乌里·扎尔法蒂:
上下文逻辑导论。 189-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/HartmannL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/HartmannL07
斯文·哈特曼,塞巴斯蒂安链接:
XML的数字约束。 203-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/HirschowitzM07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/HirschowitzM07
安德烈·赫肖维茨,马可·马格西:
单数模和线性模。 218-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Isihara07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Isihara07网址
阿里亚·伊西哈拉:
九头蛇游戏和树序。 238-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/考夫曼L07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/KauffmanL07
路易斯·考夫曼,塞缪尔·洛莫纳科:
自旋网络，量子拓扑和量子计算。 248-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Moortgat07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Moortgat07网站
迈克尔·穆尔加特:
自然语言句法和语义的对称性：Lambek-Grishin演算。 264-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Oliva07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Oliva07网址
保罗·奥利瓦:
经典线性逻辑的计算解释。 285-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/ReifL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/ReifL07
约翰·雷夫,托马斯·拉宾:
使用自组装DNA纳米结构的自主可编程生物分子器件。 297-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/ReiserDBS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/ReiserDBS07
雷娜塔·哈克斯·桑德·赖瑟,格拉齐·佩雷拉·迪穆罗,本杰明·R·C·贝德雷加,雷吉万·雨果·努内斯·圣地亚哥:
区间值QL-Implications。 307-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/SilvaR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/SilvaR07网址
亚历山德拉·席尔瓦,Jan J.M.M.Rutten先生:
二叉树的行为微分方程和共约。 322至336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Solin07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Solin07
金·索林:
动态认识半环的草图。 337-350
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/Venema07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/Venema07网址
Yde Venema公司:
模态分布律（摘要）。 351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/VillagraB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/VillagraB07网址
马科斯·维拉格拉,本杰明·巴兰:
用于满意度测试的自适应适应度函数蚁群优化。 352-361

服务

管理站点设置

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