彼得·赫林 关于MSO逻辑中可定义的拟阵属性。 （英语） Zbl 1124.68373号 Rovan，Branislav（编辑）等人，《2003年计算机科学的数学基础》。2003年8月25-29日在斯洛伐克布拉迪斯拉发举行的第28届国际研讨会，MFCS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40671-9/pbk）。莱克特。注释计算。科学。2747, 470-479 (2003). 摘要：作者已经证明，对于有限域上用矩阵表示的有界分支宽度的拟阵，一元二阶逻辑中可定义的所有拟阵性质都可以在多项式时间内识别。（此结果扩展了所谓的“\（\text{微软}_{2} \）Courcelle等人提出的图的定理。）在这项工作中，我们回顾了有限拟阵的MSO理论，并展示了一些有趣的可定义MSO的拟阵性质。特别是，所有的次闭属性都可以这样识别。关于整个系列，请参见[Zbl 1025.00004号]. 引用于10文件 MSC公司： 65年第68季度 算法和问题复杂性分析 03B15号机组 高阶逻辑；类型理论（MSC2010） 05立方厘米35 拟阵和几何格的组合方面 68卢比 计算机科学中的组合数学 关键词：拟阵;分支宽度;MSO逻辑;参数化复杂性 PDF格式BibTeX公司 XML格式引用 \textit{P.Hliněn}，莱克特。注释计算。科学。2747、470--479（2003年；Zbl 1124.68373） 全文： 内政部