文件大小：0.5 MB 14页
有界扩张类的一阶解释
作者
-
部分： 音量： 第45届国际自动化、语言和编程学术讨论会（ICALP 2018）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 自动化、语言和编程国际学术讨论会（ICALP） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2018-07-04
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→逻辑 计算理论→有限模型理论
关键词
逻辑解释/转喻 结构稀疏图 有界展开
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
B.库塞尔。 图重写：一种代数和逻辑方法。 《理论计算机科学手册》第2卷第5章第142-193页。 Elsevier，阿姆斯特丹，1990年。 
-
B.库塞尔。 图的一元二阶逻辑I：有限图的可识别集。 通知。 和计算。， 85:12-75, 1990.
-
B.Courcelle、J.A.Makowsky和U.Rotics。 有界围宽图上的线性时间可解优化问题。 《计算系统理论》，33:125-1502000。
-
A.Dawar、M.Grohe和S.Kreutzer。 本地排除未成年人。 在2007年第22届IEEE计算机科学逻辑年会上，第270-279页。
-
A.Durand和E.Grandjean。 有界度结构上的一阶查询可以用恒定延迟计算。 ACM计算逻辑学报（TOCL），8（4）：212007。
-
A.Durand、N.Schweikardt和L.Segoufin。 枚举低度数据库上一阶查询的答案。 第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，第121-131页。 ACM，2014年。
-
Z.Dvořák、D.Kráľ和R.Thomas。 测试稀疏图子类的一阶属性。 ACM杂志，60:5第36条，2013年。
-
K.Eickmeyer和K.Kawarabayashi。 地图图上的FO模型检查。 《第21届计算理论基础国际研讨会论文集》，FCT 2017，第204-216页，2017年。
-
J.Flum和M.Grohe。 固定参数可处理性、可定义性和模型检查。 SIAM计算机杂志，31:113-1452001。
-
M.Frick和M.Grohe。 确定局部树分解结构的一阶性质。 美国医学会杂志，48:1148-12062001。
-
J.Gajarskí、P.Hlinění、D.Lokshtanov、J.Obdr zalek、S.Ordyniak、M.S.Ramanujan和S.Saurabh.Fo对有界宽度偏序集的模型检验。 第56届计算机科学基础年会（FOCS），2015年，第963-974页。 IEEE，2015年。
-
J.Gajarskě、P.Hlinnକ、J.Obdr zalek、D.Lokshtanov和M.S.Ramanujan。 稠密图类的fo模型检查的新观点。 第31届ACM/IEEE计算机科学逻辑研讨会论文集，176-184页。 ACM，2016年。
-
R.Ganian、P.Hliněnľ、J.Obdr zalek、J.Schwartz、J.Teska和D.Krá\318]。 区间图的模型检验。 在自动化、语言和编程国际学术讨论会上，第250-262页。 施普林格，2013年。
-
R.Ganian、P.Hliněnſ、J.Nešetřil、J.Obdr zalek、P.Ossona de Mendez和R.Ramadurai。 树木低矮时：灌木和快速MSO₁。在MFCS 2012中，计算机科学讲义第7464卷，第419-430页。 Springer-Verlag，2012年。
-
V.Giakoumakis和J.-M.Vanherpe。 双补可约图。 高级申请。 数学。， 18:389-402, 1997.
-
M.格罗。 一阶逻辑的广义模型检验问题。 在计算机科学理论方面年度研讨会上，第12-26页。 斯普林格，2001年。
-
M.Grohe和S.Kreutzer。 算法元理论的方法。 当代数学，588，美国数学学会2011。
-
M.Grohe和S.Kreutzer。 算法元定理的方法。 《有限组合数学中的模型理论方法》，当代数学，第181-206页，2011年。
-
M.Grohe、S.Kreutzer和S.Siebertz。 无处稠密图的一阶性质的判定。 美国医学会杂志，64（3）：17:1-17:32，2017。
-
Petr Hlinený、Filip Pokrývka和Bodhayan Roy。 几何图形的FO模型检查。 在第十二届参数化和精确计算国际研讨会上，2017年IPEC，第19:1-19:12页，2017年。 网址： http://dx.doi.org/10.4230/LIPIcs.IPEC.2017.19 . -
W.Kazana和L.Segoufin。 对具有有界展开的结构类的一阶查询的枚举。 2013年第16届数据库理论国际会议论文集，第10-20页。
-
W.Kazana和L.Segoufin。 对具有有界展开的结构类的一阶查询的枚举。 第32届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集，第297-308页。 ACM，2013年。
-
O.Kwon、Mi.Pilipczuk和S.Siebertz。 在低等级宽度的颜色上。 第43届计算机科学图形理论概念国际研讨会，2017年工作组，第372-385页，2017年。
-
J.Nešetřil和P.Ossona de Mendez。 梯度和具有有界展开的类I.分解。 欧洲组合数学杂志，29（3）：760-7762008。
-
J.Nešetřil和P.Ossona de Mendez。 稀疏性（图、结构和算法），《算法和组合学》第28卷。 施普林格，2012年。 465页。
-
S.盎司。 快速近似等级宽度和clique-width。 ACM算法汇刊（TALG），5（1）：2008年10月。
-
D.西塞。 线性时间可计算问题和一阶描述。 计算机科学中的数学结构，5:505-5261996。
-
L.Segoufin和W.Kazana。 有界度结构的一阶查询求值。 《计算机科学中的逻辑方法》，2011年7月。