Artículo:

Satisfiability of Word Equations with Constants Is In PSPACE

Autor:

W. Plandowski

Página:

483

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

51

Número:

3

Periodo:

Mayo 2004

ISSN:

00045411

SrcID:

00045411-2004-03.txt