Sciweavers

IJAC
2007
117views more  IJAC 2007»
13 years 11 months ago
Equations in Free Inverse Monoids
It is known that the problem of determining consistency of a finite system of equations in a free group or a free monoid is decidable, but the corresponding problem for systems o...
Timothy Deis, John C. Meakin, Géraud S&eacu...
IJAC
2007
116views more  IJAC 2007»
13 years 11 months ago
On the Complexity of the Whitehead Minimization Problem
The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank...
Abdó Roig, Enric Ventura, Pascal Weil
IJAC
2007
85views more  IJAC 2007»
13 years 11 months ago
Limit Groups are Conjugacy Separable
A limit group is a finitely generated subgroup of a residually free group. We prove the result announced in the tittle. 2000 Mathematics Subject Classification: 20E06, 20E08, 20...
S. C. Chagas, Pavel Zalesskii