×

分层上下文统一在PSPACE中。 (英语) Zbl 0999.03008号

劳伦·弗里堡(编辑),《计算机科学逻辑》。2001年9月10日至13日在法国巴黎举行的第15届CSL国际研讨会,EACSL第十届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2142, 498-512 (2001).
摘要:上下文统一是二阶统一的变体,也是字符串统一的推广。目前还不知道上下文统一是否是可决定的。上下文统一的一个可判定专门化是分层上下文统一,它等价于一步重写约束的可满足性。
本文包含对决策算法的优化,这表明分层上下文统一可以在多项式空间中完成。
关于整个系列,请参见[Zbl 0971.00033号].

MSC公司:

03B35型 证明和逻辑操作的机械化
65年第68季度 算法和问题复杂性分析
03年2月25日 理论和句子集的可决定性
PDF格式BibTeX公司 XML格式引用
全文: 链接