Aleksi Saarela (Turku Centre for Computer Science TUCS and Department of Mathematics, University of Turku) |
We develop new polynomial methods for studying systems of word equations. We use them to improve some earlier results and to analyze how sizes of systems of word equations satisfying certain independence properties depend on the lengths of the equations. These methods give the first nontrivial upper bounds for the sizes of the systems. |
ArXived at: http://dx.doi.org/10.4204/EPTCS.63.27 | bibtex |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |