Article ISI SCOPUS
INFORMATION AND COMPUTATION  (2005)

The existential theory of equations with rational constraints in free groups is PSPACE-complete

Diekert, V; Gutiérrez, C; Hagenah, C

Más información

Título según WOS: The existential theory of equations with rational constraints in free groups is PSPACE-complete
Título según SCOPUS: The existential theory of equations with rational constraints in free groups is PSPACE-complete
Título de la Revista: INFORMATION AND COMPUTATION
Volumen: 202
Número: 2
Editorial: ACADEMIC PRESS INC ELSEVIER SCIENCE
Fecha de publicación: 2005
Página de inicio: 105
Página final: 140
Idioma: English
URL: http://linkinghub.elsevier.com/retrieve/pii/S0890540105000854
DOI:

10.1016/j.ic.2005.04.002
Notas: ISI, SCOPUS