文件大小：1.08 MB 16页
一阶转导拟序的结构性质
作者
雅罗斯拉夫·内什（Jaroslav Nešetřil） 
,
帕特里斯·奥斯纳·德门德斯 ,
塞巴斯蒂安·西贝茨
-
部分： 体积： 第30届EACSL计算机科学逻辑年会（CSL 2022）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2022-01-27
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→有限模型理论 计算数学→图论
关键词
有限模型理论 一级转导 结构图论
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
J.T.Baldwin和S.Shelah。 二阶量词和理论的复杂性。 《圣母院形式逻辑期刊》，26（3）：229-3031985。 
-
A.Blumensath和B.Courcelle。 关于一元二阶转导层次。 《计算机科学中的逻辑方法》，6（2），2010年。 网址： https://doi.org/10.2168/LMCS-6 （2:2）2010年 . -
T.科尔科姆贝特。 树的组合定理。 在自动化、语言和编程国际学术讨论会上，第901-912页。 施普林格，2007年。
-
B.库塞尔和S.Oum。 顶点子项、一元二阶逻辑和seese的猜想。 组合理论杂志，B辑，97（1）：91-1262007。
-
R.Diestel。 图论，第173卷。 数学研究生课文，第7页，2012年。
-
H.盖夫曼。 在本地和非本地属性上。 《逻辑与数学基础研究》，107:105-1351982年。
-
J.Gajarskí、S.Kreutzer、J.Nešetřil、P.Ossona de Mendez、M.Pilipczuk、S.Siebertz和S.Toruñczyk。 有界展开类的一阶解释。 第45届国际自动化、语言和编程学术讨论会（ICALP 2018），莱布尼茨国际信息学论文集（LIPIcs）第107卷，第126:1-126:14页，2018年。
-
R.Ganian、P.Hliněnõ、J.Nešetřil、J.Obdr zalek和P.Ossona de Mendez。 灌木深度：捕捉密集图形的高度。 《计算机科学中的逻辑方法》，第15（1）期，2019年。
-
R.Ganian、P.Hliněnſ、J.Nešetřil、J.Obdr zalek、P.Ossona de Mendez和R.Ramadurai。 树木低矮时：灌木和快速MSO₁。在计算机科学数学基础国际研讨会上，计算机科学讲义第7464卷，第419-430页。 Springer-Verlag，2012年。
-
W·霍奇斯。 模型理论，第42卷。 剑桥大学出版社，1993年。
-
O.Kwon、R.McCarty、S.Oum和P.Wollan。 有界灌木的障碍物-深度和等级-深度。 CoRR，abs/1911.002302019年。 网址： http://arxiv.org/abs/1911.00230 . -
V.V.洛津。 从树宽到剪贴宽度：不包括单位区间图。 《算法与计算》编辑Seok-Hee Hong、Hiroshi Nagamochi和Takuro Fukunaga，第871-882页，柏林，海德堡，2008年。 施普林格-柏林-海德堡。
-
J.Nešetřil和P.Ossona de Mendez。 结构局部收敛序列的聚类分析。 随机结构与算法，51（4）：674-7282017。
-
J.Nešetřil、P.Ossona de Mendez、M.Pilipczuk、R.Rabinovich和S.Siebertz。 秩宽满足稳定性。 在《2021 ACM-SIAM离散算法研讨会论文集》（SODA），第2014-20332021页。 网址： https://doi.org/10.1137/1.9781611976465.120 . -
J.Nešetřil、P.Ossona de Mendez、R.Rabinovich和S.Siebertz。 线性宽度满足稳定性要求。 舒奇·查拉（Shuchi Chawla），编辑，《2020年ACM-SIAM离散算法研讨会论文集》，第1180-1199页，2020年。
-
J.Nešetřil、P.Ossona de Mendez、R.Rabinovich和S.Siebertz。 低复杂度的图类：具有有界线性秩宽的类的情况。 欧洲组合数学杂志，91:1032232021。 纪念朱旭鼎60岁生日的特刊。 网址： https://doi.org/10.1016/j.ejc.2020.103223 . -
J.Nešetřil、P.Ossona de Mendez和S.Siebertz。 一阶转导准序的结构性质，2021。 网址： http://arxiv.org/abs/2010.02607 . -
D.西塞。 图的可判定一元理论模型的结构。 《纯粹逻辑与应用逻辑年鉴》，53（2）：169-1951991年。