Titlebook: Word Equations and Related Topics; 1st International Wo K. U. Schulz Conference proceedings 1992 Springer-Verlag Berlin Heidelberg 1992 Lis

venous-leak

New systems of defining relations of the braid group,

松緊帶

,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.

債務(wù)

,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

Angiogenesis

平常

和平

dearth

字形刻痕

FLAT