venous-leak
发表于 2025-3-25 06:21:04
New systems of defining relations of the braid group,
松紧带
发表于 2025-3-25 11:16:42
,Makanin’s algorithm for word equations-two improvements and a generalization,n‘s result and show that the solvability of word equations with variables x1,...,xn remains decidable when we specify regular languages L1,...,Ln over the coefficient alphabet and ask for solutions where the i-th components belongs to Li.
债务
发表于 2025-3-25 13:31:04
,An analysis of Makanin’s algorithm deciding solvability of equations in free groups,vide an analysis of the Makanin‘s proof and point out why the estimates on the complexity of Makanin‘s algorithm and on the length of a minimal solution of an equation in a free group are not primitive recursive.
expunge
发表于 2025-3-25 18:06:06
http://reply.papertrans.cn/104/10308/1030708/1030708_24.png
Angiogenesis
发表于 2025-3-25 21:03:42
http://reply.papertrans.cn/104/10308/1030708/1030708_25.png
平常
发表于 2025-3-26 02:16:17
http://reply.papertrans.cn/104/10308/1030708/1030708_26.png
和平
发表于 2025-3-26 04:48:51
http://reply.papertrans.cn/104/10308/1030708/1030708_27.png
dearth
发表于 2025-3-26 11:54:14
http://reply.papertrans.cn/104/10308/1030708/1030708_28.png
字形刻痕
发表于 2025-3-26 12:36:56
http://reply.papertrans.cn/104/10308/1030708/1030708_29.png
FLAT
发表于 2025-3-26 19:47:01
http://reply.papertrans.cn/104/10308/1030708/1030708_30.png