摘要
F.Abu Zaid、E.Grädel、M.Grohe和W.Pakusa。 具有小阿贝尔色类的结构上的无选择多项式时间。 在 2014年计算机科学数学基础 ,第50-62页。 斯普林格,2014年。 谷歌学者 M.Anderson、A.Dawar和B.Holm。 在不破坏抽象的情况下求解线性程序。 美国临床医学杂志 , 62(6):48:1--48:26, 2015. 谷歌学者 数字图书馆 A.Atserias、A.Bulatov和A.Dawar。 仿射方程组和计数无穷逻辑。 理论计算机科学 , 410(18):1666--1683, 2009. 谷歌学者 数字图书馆 A.Blass和Y.Gurevich。 无选择多项式时间的强扩张公理和Shelah的零定律。 J.塞姆。 日志 ., 68(1):65--131, 2003. 谷歌学者 交叉引用 A.Blass和Y.Gurevich。 Blass-Gurevich-Shelah的文章“无序结构上的多项式时间计算”中开放问题的快速更新。 http://research.microsoft.com/en-us/um/people/gurevich/Opera/150a.pdf ,2005年。 谷歌学者 A.Blass、Y.Gurevich和S.Shelah。 无选择多项式时间。 纯逻辑与应用逻辑年鉴 , 100(1):141--187, 1999. 谷歌学者 交叉引用 A.Blass、Y.Gurevich和S.Shelah。 无序结构上的多项式时间计算。 符号逻辑杂志 ,67(3):1093-11252002年。 谷歌学者 交叉引用 S.Cohen、Y.Sagiv和W.Nutt。 带否定的聚合查询之间的等价性。 ACM计算逻辑事务 , 6:328 -- 360, 2005. 谷歌学者 数字图书馆 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。 带秩运算符的逻辑。 在 2009年许可证 ,第113-122页。 IEEE计算机学会,2009年。 谷歌学者 数字图书馆 H.Ebbinghaus和J.Flum。 有限模型理论 《施普林格科学》,2005年。 谷歌学者 E.Grädel等人。 有限模型理论及其应用 Springer,2007年。 谷歌学者 数字图书馆 E.Grädel和Y.Gurevich。 亚有限模型理论。 信息与计算 , 140:26--81, 1998. 谷歌学者 数字图书馆 E.Grädel和M.Otto。 有限结构计数的归纳可定义性。 在 计算机科学逻辑,CSL 92 ,第702卷,共页 LNCS公司 ,第231--247页。 施普林格,1992年。 谷歌学者 数字图书馆 E.Grädel和W.Pakusa。 等级逻辑死了,等级逻辑万岁! 在 计算机科学逻辑(CSL’15) 《莱布尼茨国际信息学学报》(LIPIcs),2015年。 谷歌学者 T.Green、G.Karvounarakis和V.Tannen。 起源半环。 在 PODS 07、, 2007 谷歌学者 数字图书馆 M.格罗。 探索一种捕捉PTIME的逻辑。 在 计算机科学中的逻辑,2008,(LICS’08) ,第267--271页。 IEEE,2008年。 谷歌学者 数字图书馆 M.格罗。 带排除子图的不动点可定义性与多项式时间。 美国临床医学杂志 , 59(5):27:1--27:64, 2012. 谷歌学者 数字图书馆 M.Grohe、B.Grußien、A.Hernich和B.Laubner。 L-递归与对数空间的一种新逻辑。 计算机科学中的逻辑方法 , 9(1), 2012. 谷歌学者 L.Hella、L.Libkin、J.Nurmonen和L.Wong。 使用聚合运算符的逻辑。 美国医学会杂志 , 48:880--907, 2001. 谷歌学者 数字图书馆 B.霍尔姆。 线性代数的描述性复杂性 2010年,剑桥大学博士论文。 谷歌学者 B.劳勃纳。 图的结构与多项式时间表征的新逻辑 2011年,柏林洪堡大学博士论文。 谷歌学者 L.利布金。 有限模型理论基础 《施普林格科学》,2013年。 谷歌学者 数字图书馆 M.奥托。 带计数的定点逻辑的表达能力。 J.塞姆。 日志 ., 61(1):147--176, 1996. 谷歌学者 交叉引用 W.帕库萨。 线性方程组与多项式时间的逻辑表征 .博士论文,RWTH亚琛大学,2016年。 谷歌学者 撒哈拉沙拉。 无选择多项式时间逻辑:无法表达 ,第72-125页。 施普林格柏林海德堡,柏林,海德堡,2000年。 谷歌学者 数字图书馆 H.Wang和C.Zaniolo。 数据库查询语言中的用户定义聚合。 在 DBPL 99公司 ,第43-60页,2000年。 谷歌学者 数字图书馆
建议
一阶可定义和模态可定义的可判定和不可判定问题 语言、逻辑和计算 摘要 本文的核心是关于给定模态公式的一阶可定义性和给定基本条件的模态可定义性的Chagrova定理。 我们考虑模态可定义性可判定的框架类和。。。 无选择多项式时间下Cai-Fürer-Immerman问题的可定义性 无选择多项式时间(CPT)是寻找逻辑捕获Ptime最有希望的候选时间之一。 问题是是否有一种逻辑可以精确地表示有限结构的多项式时间可计算属性,这种逻辑具有。。。