沃伊切赫·普兰多夫斯基 带常数的单词方程的可满足性在PSPACE中。 (英语) Zbl 1192.68372号 美国临床医学杂志 51,第3期,483-496(2004). 引用于41文件 MSC公司: 65年第68季度 算法和问题复杂性分析 08A50号 单词问题(代数结构方面) PDF格式BibTeX公司 XML格式引用 \textit{W.Plandowski},J.ACM 51,第3期,483--496(2004;Zbl 1192.68372) 全文: 内政部