Equations in groups that are virtually direct products
Equations in groups that are virtually direct products
复制标题
几乎是直积的群方程
DOI：
10.1016/j.jalgebra.2018.10.044
复制
发表时间：
2020
影响因子：
0.9
通讯作者：
Ciobanu L
中科院分区：
文献类型：
--
作者：
Ciobanu L
在这篇注记中，我们证明了具有可识别约束的方程和不等式的可满足性在实际上是有限多个双曲群的直积的群中是可判定的。
In this note, we show that the satisfiability of equations and inequations with recognisable constraints is decidable in groups that are virtually direct products of finitely many hyperbolic groups.
登录
查看更多内容
影响因子：
--
作者：
V. Diekert;Markus Lohrey
通讯作者：
Markus Lohrey
图群中方程的可解性是可判定的
DOI：
10.1142/s0218196706003372
发表时间：
2006
期刊：
Int. J. Algebra Comput.
影响因子：
--
作者：
V. Diekert;A. Muscholl
通讯作者：
A. Muscholl
自由群中有理约束方程的存在主义理论是 PSPACE 完备的
影响因子：
1
作者：
V. Diekert;Claudio Gutiérrez;C. Hagenah
通讯作者：
C. Hagenah
影响因子：
0.8
作者：
Hao Liang
通讯作者：
Hao Liang
影响因子：
0.5
作者：
V. Diekert;Markus Lohrey
通讯作者：
Markus Lohrey