停止战争！

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

对于科学家来说：

默认搜索操作

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

问别人

第16届TABLEAUX 2007：法国普罗旺斯艾克斯

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/2007
尼古拉·奥利维蒂:
《使用分析表和相关方法进行自动推理》，第16届国际会议，2007年7月3日至6日，法国普罗旺斯艾克斯，Tableaux 2007，会议记录。计算机科学课堂讲稿4548,施普林格 2007，国际标准图书编号电话：978-3-540-73098-9

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Boatti07表格
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Bonatti07网址
皮耶罗·A·博纳蒂:
非单调描述逻辑：需求、理论和实现。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Meyer07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Meyer07网站
约翰·朱尔斯·查·梅耶:
我们寻求代理验证的圣杯。 2-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Tinelli07表格
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Tinelli07网站
塞萨尔·蒂内利:
可满足模理论的抽象框架。 10

研究论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BaderP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BaderP07
弗兰兹·巴德,拉斐尔·佩尼亚洛萨:
通用表格中的公理精确定位。 11-27
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BaazM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BazM07
马提亚斯·巴兹,乔治·梅特卡夫:
一阶Lukasiewicz逻辑的证明理论。 28-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BalbianiDHL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BalbianiDHL07
菲利普·巴尔比亚尼,Hans P.van Ditmarsch先生,安德烈亚斯·赫齐格,蒂亚戈·德利马:
公开公告逻辑的Tableau方法。 43-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Ben-DavidTW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Ben-DavidTW07
肖姆·本·大卫,理查德·特雷弗,格兰特·韦德尔:
带描述逻辑推理的有界模型检查。 60-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BresolinGMS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BresolinGMS07
大卫·布雷索林,瓦伦丁·戈兰科,安吉洛·蒙塔纳里,彼得罗·萨拉:
稠密序上子区间结构逻辑的表au系统。 73-89
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BuismanG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BuismanG07
琳达·布伊斯曼,拉杰夫·戈尔:
双教学逻辑的无切割序贯演算。 90至106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/GasquetS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/GasquetS07
奥利维尔·盖斯克特,比拉尔·赛义德:
带分层模态逻辑动态过滤的表格。 107-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/女孩07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Girle07网址
罗德里克·贾尔:
S0.9和S1的邻域。 119-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/GoreN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/GoreN07
拉杰夫·戈尔,林安阮:
带全局缓存的EXPTIME表，用于具有传递角色、反向角色和角色层次结构的描述逻辑。 133-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/IshigakiK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/IshigakiK07
石垣隆夫,肯塔罗·菊池:
亚直觉谓词逻辑的树序列方法。 149-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Komendantskaya07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Komendantskaya07网站
叶卡捷琳娜·科门丹茨卡娅:
基于双参数逻辑的序列演算及其多排序表示。 165-182年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/MurrayR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/MurrayR07
尼尔·V·穆雷,埃里克·罗森塔尔:
更新简化含意尝试。 183-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Peltier07表格
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Peltier07
尼古拉斯·佩尔蒂埃:
自下而上的方法处理小句表。 199-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Platzer07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Platzer07网站
安德烈·普拉泽:
用于验证参数混合系统的差分动态逻辑。 216-232

系统描述

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/AvelloneFM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/AvelloneFM07
亚历山德罗·阿韦隆,吉多·菲奥里诺,乌戈·莫斯卡托:
Tableau探测仪PITP的改进。 233-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/GordanoGP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Giordano GP07
劳拉·佐丹奴,瓦伦蒂娜·格里奥齐,吉安·卢卡·波扎托:
KLMLean 2.0：非单调推理的KLM逻辑的定理证明器。 238-244

服务

管理网站设置

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