Revista: | Acta científica venezolana |
Base de datos: | PERIÓDICA |
Número de sistema: | 000199627 |
ISSN: | 0001-5504 |
Autors: | Arratia, Argimiro1 |
Institucions: | 1Universidad Simón Bolívar, Departamento de Matemáticas, Caracas, Distrito Federal. Venezuela |
Any: | 2002 |
Volum: | 53 |
Número: | 2 |
Paginació: | 94-118 |
País: | Venezuela |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Matemáticas, Ciencias de la computación |
Paraules clau: | Matemáticas aplicadas, Lógica, Modelos finitos, Complejidad computacional, Máquinas de Turing |
Keyword: | Mathematics, Computer science, Applied mathematics, Logic, Finite models, Computational complexity, Turing machines |
Solicitud del documento | |