| 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 |
| Autores: | Carrillo Barajas, M1 |
| Instituciones: | 1Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, México, Distrito Federal. México |
| Año: | 1993 |
| Periodo: | Jul |
| Volumen: | 3 |
| Número: | 8 |
| Paginación: | 1-1 |
| País: | México |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Teórico |
| Disciplinas: | Filosofía, Ciencias de la computación, Matemáticas |
| Palabras clave: | 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 | |
