Revista: | Reportes de desarrollo - Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas. UNAM |
Base de datos: | PERIÓDICA |
Número de sistema: | 000001207 |
Autors: | Carrillo Barajas, M1 |
Institucions: | 1Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, México, Distrito Federal. México |
Any: | 1993 |
Període: | Jul |
Volum: | 3 |
Número: | 8 |
Paginació: | 1-1 |
País: | México |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Teórico |
Disciplines | Filosofía, Ciencias de la computación, Matemáticas |
Paraules clau: | Lógica, Matemáticas puras, Logica temporal, Lógica matemática, Lenguajes de programación, Programas concurrentes |
Keyword: | Philosophy, Computer science, Mathematics, Logic, Pure mathematics, Temporal logic, Mathematical logic, Concurrent programs, Programming languages |
Solicitud del documento | |