A useful device for showing the solvability of some decision problems

Detalhes bibliográficos
Autor principal:	Ibarra, Oscar H.
Outros Autores:	Kim, Chul E.
Formato:	Livro
Idioma:	inglês
Publicado em:	Quezon City U.P. Natural Science Research Center 1975.
Colecção:	Technical report U.P. Natural Science Research Center no.32
Assuntos:	Automata > Mathematical models.