文件大小：483 kB 15页
等级逻辑死了，等级逻辑万岁！
作者
-
部分内容： 体积： 第24届EACSL计算机科学逻辑年会（CSL 2015）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2015-09-07
文件
文件标识符
引用为 获取BibTex
摘要
关键词
逻辑 描述性复杂性 多项式时间 秩逻辑
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
F.Abu Zaid、E.Grädel、M.Grohe和W.Pakusa。 具有小阿贝尔色类的结构上的无选择多项式时间。 在MFCS 2014中，《计算机科学讲义》第8634卷，第50-62页。 斯普林格，2014年。 
-
A.Atserias、A.Bulatov和A.Dawar。 仿射方程组和计数无穷逻辑。 理论计算机科学，410:1666-16832009。
-
G.Buntrock、U.Hertranff、C.Damm和C.Meinel。 logspace-mod-class的结构和重要性。 STACS’91，第360-371页，1991年。
-
J.Cai、M.Fürer和N.Immerman。 用于图形识别的变量数的最佳下界。 组合数学，12（4）：389-4101992。
-
A.Dawar。 带计数的定点逻辑的性质和威力。 ACM SIGLOG新闻，第8-21页，2015年。
-
A.Dawar、E.Grädel、B.Holm、E.Kopczynski和W.Pakusa。 群和环上线性方程组的可定义性。 《计算机科学中的逻辑方法》，9（4），2013年。
-
A.Dawar、M.Grohe、B.Holm和B.Laubner。 带秩运算符的逻辑。 在LICS’09中，第113-122页。 IEEE计算机学会，2009年。
-
A.Dawar和B.Holm。 具有代数规则的圆石游戏。 《自动化、语言和编程》，第251-262页。 施普林格，2012年。
-
H.-D.Ebbinghaus和J.Flum。 有限模型理论。 Springer-Verlag，第二版，1999年。
-
E.Grädel等人，《有限模型理论及其应用》。 施普林格，2007年。
-
E.Grädel和W.Pakusa。 等级逻辑死了，等级逻辑万岁！ CoRR，abs/1503.054232015年。
-
M.格罗。 对捕捉PTIME的逻辑的追求。 在LICS 2008中，第267-271页，2008年。
-
Y.Gurevich和S.Shelah。 关于有限刚性结构。 符号逻辑杂志，61（02）：549-5621996。
-
B.霍尔姆。 线性代数的描述性复杂性。 剑桥大学博士论文，2010年。
-
B.劳勃纳。 图的结构和表征多项式时间的新逻辑。 柏林洪堡大学博士论文，2011年。
-
M.奥托。 有界变量逻辑与计数。 施普林格，1997年。
-
W.帕库萨。 线性代数算子的有限模型理论。 Staatsexamensarbeit，RWTH亚琛大学，2010年。
-
J.Torán。 关于图同构的硬度。 SIAM计算机杂志，33（5）：1093-11082004。