1. Repositorio de Tesis DGBSDI
  2. TESIUNAM
  3. Tesis de doctorado
Use el DOI o este identificador para enlazar este recurso: https://hdl.handle.net/20.500.14330/TES01000853590
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorCastañeda Rojano, Armando-
dc.contributor.advisorRosenblueth Laguette, David Arturo-
dc.contributor.otherDitmarsch, Hans Peter van, miembro del comité de grado-
dc.creatorVelázquez Cervantes, Diego Alejandro-
dc.date.created2024-04-05T00:00:00-
dc.date.issued2024-
dc.identifier.urihttps://hdl.handle.net/20.500.14330/TES01000853590-
dc.format.extent1 recurso en línea (78 páginas)-
dc.format.mediumcomputadora-
dc.format.mimetypeapplication/pdf-
dc.languagespa-
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0-
dc.source.urihttps://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000853590-
dc.subject.classificationCiencias Físico - Matemáticas y de las Ingenierías-
dc.titlePattern models : dynamic epistemic logics for distributed systems-
dc.typeTesis de doctorado-
dcterms.contributorCastañeda Rojano, Armando::orcid::0000-0002-8017-8639::role::asesorTesis-
dcterms.contributorRosenblueth Laguette, David Arturo::cvu::11043::role::asesorTesis-
dcterms.contributorDitmarsch, Hans Peter van::si::SinIdentificador::role::miembro del comité de grado-
dcterms.creatorVelázquez Cervantes, Diego Alejandro::si::SinIdentificador-
dc.degree.nameDoctorado en Ciencia e Ingeniería de la Computación-
dc.degree.grantorUniversidad Nacional Autónoma de México-
dc.identifier.urlhttp://132.248.9.195/ptd2024/abr_jun/0853590/Index.html-
dc.format.supportrecurso en línea-
dc.degree.departmentPrograma de Posgrado en Ciencia e Ingeniería de la Computación-
dc.degree.departmentInstituto de Investigaciones en Matemáticas Aplicadas y en Sistemas-
dc.degree.levelDoctorado-
dc.rights.accessrightsAcceso en línea sin restricciones-
dc.type.versionpublishedVersion-
dc.publisher.locationMX-
dc.date.modified2024-04-11T00:00:00-
Aparece en las colecciones: Tesis de doctorado

Texto completo:
Archivo Descripción Tamaño Formato  
000853590.mrcRegistro bibliográfico en formato MARC1.83 kBMARCVisualizar/Abrir
0853590.pdfTexto Completo1.81 MBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro sencillo del recurso


Este recurso está sujeto a una Licencia Creative Commons Creative Commons