Revista: | Acta científica venezolana |
Base de datos: | PERIÓDICA |
Número de sistema: | 000199627 |
ISSN: | 0001-5504 |
Autores: | Arratia, Argimiro1 |
Instituciones: | 1Universidad Simón Bolívar, Departamento de Matemáticas, Caracas, Distrito Federal. Venezuela |
Año: | 2002 |
Volumen: | 53 |
Número: | 2 |
Paginación: | 94-118 |
País: | Venezuela |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Matemáticas, Ciencias de la computación |
Palabras clave: | 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 | |