dor_id: 3570237

506.#.#.a: Público

502.#.#.a: Doctorado

561.#.#.u: https://ru.dgb.unam.mx

650.#.4.x: Físico Matemáticas y Ciencias de la Tierra

336.#.#.b: doctoral thesis

336.#.#.3: Tesis de doctorado

336.#.#.a: Trabajo de grado

351.#.#.6: https://ru.dgb.unam.mx/handle/DGB_UNAM/2

351.#.#.b: TESIUNAM

351.#.#.a: Tesis

harvesting_group: TesiUNAM

270.1.#.p: bidi@dgb.unam.mx

590.#.#.c: DSpace

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://ru.dgb.unam.mx

883.#.#.a: Repositorio de la Dirección General de Bibliotecas y Servicios Digitales de Información

590.#.#.a: Administración Central

883.#.#.1: https://www.dgb.unam.mx

883.#.#.q: Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://132.248.9.195/ptd2021/junio/0812770/Index.html

100.1.#.a: Zúñiga Chávez, Ángel Francisco

100.1.#.0: Zúñiga Chávez, Ángel Francisco::si::SinIdentificador

524.#.#.a: Zúñiga Chávez, Ángel Francisco (2021). Semántica natural como marco de verificación de compiladores en Coq. Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, UNAM. Recuperado de https://repositorio.unam.mx/contenidos/3570237

720.#.#.a: Sierra Martínez, Gerardo Eugenio; Bel Enguix, Gemma

245.1.0.a: Semántica natural como marco de verificación de compiladores en Coq

502.#.#.b: Doctorado en Ciencia e Ingeniería de la Computación

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, UNAM

264.#.0.c: 2021

264.#.1.c: 2021

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a Zúñiga Chávez, Ángel Francisco. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 2021-12-30, para un uso diferente consultar al responsable jurídico del repositorio en bidi@dgb.unam.mx

884.#.#.k: https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000812770

001.#.#.#: oai:ru.dgb.unam.mx:DGB_UNAM/TES01000812770

720.#.#.0: Sierra Martínez, Gerardo Eugenio::si::SinIdentificador::role::asesorTesis; Bel Enguix, Gemma::si::SinIdentificador::role::asesorTesis

041.#.7.h: spa

046.#.#.j: 2021-12-30 23:47:57.552

300.#.#.a: 121 páginas

533.#.#.b: MX

599.#.#.a: Programa de Posgrado en Ciencia e Ingeniería de la Computación

harvesting_date: 2022-05-24 12:00:00.0

856.#.0.q: application/pdf

file_creation_date: 2021-12-13 20:39:49.0

file_modification_date: 2021-12-15 03:37:22.0

file_creator: Angel Zúñiga

file_name: 323cacc821bc325cee7e1952b51dca986b0a4b461d35630b29356e06d5a64d66.pdf

file_pages_number: 128

file_format_version: application/pdf; version=1.7

file_size: 1370105

last_modified: 2022-11-16 18:00:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2