停止战争！

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

对于科学家来说：

默认搜索操作

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

问别人

第24届TABLEAUX 2015：波兰Wrocław

>主页 >会议和研讨会 >表格

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/2015
汉斯·德尼维尔:
使用分析表和相关方法的自动推理——第24届国际会议，Tableaux 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。计算机科学课堂讲稿9323,施普林格 2015，国际标准图书编号978-3-319-24311-5

表aux Calculi

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Dyckhoff15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Dyckhoff15
罗伊·戴克霍夫:
受邀演讲：一阶逻辑的连贯性。 3-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/CassanoPM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/CassanoPM15
瓦伦丁·卡萨诺,卡洛斯·古斯塔沃·洛佩斯·蓬博,托马斯·斯蒂芬·爱德华·迈鲍姆:
基于命题表的缺省规则推理证明演算。 6-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/McCabe-DanstedR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Mcabe-DanstedR15
约翰·克里斯托弗·麦卡贝（John Christopher McCabe-Dansted）,马克·雷诺兹:
捆绑策略表。 22-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/SchmidtW15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/SchmidtW15
雷娜特·施密特,乌韦·沃尔德曼:
具有阻塞和同余闭包的模态表系统。 38-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/SioutisCSM15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/SioutisCSM15
迈克尔·西奥蒂斯,Jean-François Condotta女士,雅库布沙利,贝特朗迷宫:
广义定性时空推理：复杂性和表方法。 54-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BackemanR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BackemanR15
彼得·贝克曼,菲利普·吕默:
有界刚性E-统一的有效算法。 70-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/埋葬D15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BuryD15
纪尧姆·伯里,大卫·德拉海耶:
将Simplex与Tableaux集成。 86-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Kaliszyk15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Kaliszyk15
塞萨里·卡利西克:
高效低级连接表。 102-111

序贯演算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/NegriO15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/NegriO15
萨拉·内格里,尼古拉·奥利维蒂:
基于邻域语义的优先条件逻辑的序列演算。 115-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Lellmann15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Lellmann15
比约恩·勒尔曼:
线性嵌套序列、2-序列和超序列。 135-150

分辨率

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Brock-Nannestad15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Brock-Nannestad15
Taus Brock-Nannestad公司,考斯特夫·乔杜里:
通过有限逼近的迭代精化使用逆方法来消除。 153-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/HustadtGDNZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/HustadtGDNZ15
乌尔里希·赫斯塔特,保罗·盖纳,克莱尔·狄克逊,克劳迪娅·纳隆,张澜（Lan Zhang）:
联盟逻辑的有序解决方案。 169-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/NalonHD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/NalonHD15
科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
K的模态层分解演算。 185-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/ChihaniLR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/ChihaniLR15
扎卡里亚·奇哈尼,托默·利瓦尔,吉赛尔·赖斯:
证明人检查员。 201-210

其他微积分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Benzmuller15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Benzmuller15
克里斯托夫·本兹穆勒:
受邀演讲：关于一个（相当）普遍定理的证明方法及其在形而上学中的应用。 213-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BorgK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BorgK15
安尼马里·博格,罗曼·库兹涅茨:
证明逻辑的实现定理：完全模块化。 221-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/FerrariF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/FerrariF15
马洛·法拉利,卡米洛·佛罗伦萨:
经典命题逻辑自然演绎演算的证明研究。 237-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/Wernhard15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Wernhard15
克里斯托弗·沃恩哈德:
关系一元公式的二阶量词消除——一种基本方法和一些不太期望的应用。 253-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/OlivettiP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/OlivettiP15
尼古拉·奥利维蒂,吉安·卢卡·波扎托:
刘易斯反事实逻辑的标准内部微积分。 270-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BrotherstonG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BrotherstonG15
詹姆斯·布罗瑟斯顿,Nikos Gorogannis公司:
通过基对近似消除分离逻辑中的归纳蕴涵。 287-303

应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BubelDHN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BubelDHN15
理查德·布贝尔,水晶长汀,雷内·哈内尔,中田惠子:
带有痕迹和共导的动态逻辑。 307-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/CiabattoniFGL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/CiabatoniFGL15
阿加塔·恰巴托尼,伊利莎·弗雷斯基,弗朗西斯科·詹科,比约恩·勒尔曼:
道义逻辑：证明理论与应用。 323-338
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/HudekTW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/HudekTW15
亚历山大·哈德克,大卫·托曼,格兰特·韦德尔:
关于使用分析表枚举查询计划。 339-354

服务

管理网站设置

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