Schmidt Schauß,曼弗雷德 分层上下文统一在PSPACE中。 (英语) Zbl 0999.03008号 劳伦·弗里堡(编辑),《计算机科学逻辑》。2001年9月10日至13日在法国巴黎举行的第15届CSL国际研讨会,EACSL第十届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2142, 498-512 (2001). 摘要:上下文统一是二阶统一的变体,也是字符串统一的推广。目前还不知道上下文统一是否是可决定的。上下文统一的一个可判定专门化是分层上下文统一,它等价于一步重写约束的可满足性。本文包含对决策算法的优化,这表明分层上下文统一可以在多项式空间中完成。关于整个系列,请参见[Zbl 0971.00033号]. 引用于1文件 MSC公司: 03B35型 证明和逻辑操作的机械化 65年第68季度 算法和问题复杂性分析 03年2月25日 理论和句子集的可决定性 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß},莱克特。注释计算。科学。2142,498--512(2001;Zbl 0999.03008) 全文: 链接