Journal: | Acta científica venezolana |
Database: | PERIÓDICA |
System number: | 000199627 |
ISSN: | 0001-5504 |
Authors: | Arratia, Argimiro1 |
Institutions: | 1Universidad Simón Bolívar, Departamento de Matemáticas, Caracas, Distrito Federal. Venezuela |
Year: | 2002 |
Volumen: | 53 |
Number: | 2 |
Pages: | 94-118 |
Country: | Venezuela |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Matemáticas, Ciencias de la computación |
Keyword: | 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 |
Document request | |