Un sistema de tipos recursivos parcialmente ordenado

García García, Juan Manuel

DSpace Principal
→
Posgrado en Ciencia e Ingeniería de la Computación
→
Tesis de Maestría
→
Ver ítem

dc.contributor.advisor	Oktaba, Hanna
dc.creator	García García, Juan Manuel
dc.date.accessioned	2021-05-16T14:56:06Z
dc.date.accessioned	2025-03-13T19:29:36Z
dc.date.accessioned	2025-06-30T17:34:28Z
dc.date.available	2021-05-16T14:56:06Z
dc.date.available	2025-03-13T19:29:36Z
dc.date.available	2025-06-30T17:34:28Z
dc.date.created	2005-12-22T00:00:00
dc.date.issued	1994
dc.identifier.uri	http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000214591
dc.format.extent	1 recurso en línea (89 páginas)
dc.format.medium	computadora
dc.format.mimetype	application/pdf
dc.language	spa
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0
dc.source.uri	https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000214591
dc.subject.classification	Ciencias Físico - Matemáticas y de las Ingenierías
dc.title	Un sistema de tipos recursivos parcialmente ordenado
dc.type	Tesis de maestría
dcterms.contributor	Oktaba, Hanna::orcid::0000-0003-2852-4490::role::asesorTesis
dcterms.creator	García García, Juan Manuel::si::SinIdentificador
dcterms.title	\|a Un sistema de tipos recursivos parcialmente ordenado \|c tesis que para obtener el grado de Maestro en Ciencias de la Computacion, presenta Juan Manuel Garcia Garcia ; asesor Hanna Oktaba Sossin
dc.identifier.url	http://132.248.9.195/pmig2016/0214591/Index.html
dc.rights.accessrights	Acceso en línea sin restricciones
dc.publisher.location	MX
dc.type.version	publishedVersion
dc.degree.grantor	Universidad Nacional Autónoma de México
dc.degree.department	Colegio de Ciencias y Humanidades
dc.degree.department	Unidad Académica de los Ciclos Profesional y de Posgrado
dc.degree.name	Maestría en Ciencias de la Computación
dc.degree.level	Maestría
dc.format.support	recurso en línea
dc.identifier.classification	001-03063-G1-1994-1M
dc.date.modified	2023-11-25T00:00:00