The existential theory of equations with rational constraints in free groups is PSPACE-complete
The existential theory of equations with rational constraints in free groups is PSPACE-complete
复制标题
自由群中有理约束方程的存在主义理论是 PSPACE 完备的
DOI：
--
复制
发表时间：
2001
影响因子：
1
通讯作者：
C. Hagenah
中科院分区：
文献类型：
--
作者：
V. Diekert;Claudio Gutiérrez;C. Hagenah
