Revista: | Ciencias matemáticas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000177828 |
ISSN: | 0256-5374 |
Autores: | Garcés Calvelo, Alejandro1 Iriarte Quirós, Manrique |
Instituciones: | 1Universidad de Oriente, Facultad de Ciencias Naturales y Matemáticas, Santiago de Cuba. Cuba |
Año: | 1998 |
Volumen: | 16 |
Número: | 2 |
Paginación: | 173-183 |
País: | Cuba |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Ciencias de la computación, Matemáticas |
Palabras clave: | Matemáticas aplicadas, Tipos de datos, Semántica denotacional, Lenguajes de programación, Modelos matemáticos, Pruebas sintácticas |
Keyword: | Computer science, Mathematics, Applied mathematics, Data types, Denotational semantics, Programming languages, Mathematical models, Syntactic proofs |
Solicitud del documento | |