共 5 条
[1]
Brown EH(1957)Finite computability of Postnikov complexes Ann. Math. 65 1-20
[2]
Čadek M(2017)Algorithmic solvability of the lifting-extension problem Discr. Comput. Geom. 57 915-965
[3]
Krčál M(1955)On the algorithmic unsolvability of the word problem in group theory (in Russian) Trudy Mat. Inst. im. Steklova 44 1-143
[4]
Vokřínek L(undefined)undefined undefined undefined undefined-undefined
[5]
Novikov PS(undefined)undefined undefined undefined undefined-undefined