1. Repositorio Institucional Universidad de Antioquia
  2. Investigaciones
  3. CIEN (Centro de Investigaciones en Ciencias Exactas y Naturales)
  4. Documentos de conferencias en Ciencias Exactas y Naturales
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/10495/40617
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.authorAgudelo Agudelo, Juan Carlos-
dc.date.accessioned2024-07-18T13:12:10Z-
dc.date.available2024-07-18T13:12:10Z-
dc.date.issued2024-07-02-
dc.identifier.urihttps://hdl.handle.net/10495/40617-
dc.format.mimetypeapplication/pdfspa
dc.language.isoengspa
dc.type.hasversioninfo:eu-repo/semantics/publishedVersionspa
dc.rightsinfo:eu-repo/semantics/openAccessspa
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/2.5/co/*
dc.titleA Propositional Constructive Logic of Evidencespa
dc.typeinfo:eu-repo/semantics/conferenceObjectspa
dc.publisher.groupÁlgebra U de Aspa
dc.contributor.corporatenameLatin American Symposium on Mathematical Logic (20 : del 1 al 5 de julio de 2024 : Facultad de Ingeniería de la Universidad de la República, Montevideo, Uruguay)spa
oaire.versionhttp://purl.org/coar/version/c_970fb48d4fbd8a85spa
dc.rights.accessrightshttp://purl.org/coar/access_right/c_abf2spa
oaire.citationtitleXX SLALM - 20th Latin American Symposium on Mathematical Logicspa
oaire.citationconferenceplaceFacultad de Ingeniería de la Universidad de la República, Montevideo, Uruguayspa
oaire.citationconferencedate2024-07-01/2024-01-05spa
dc.rights.creativecommonshttps://creativecommons.org/licenses/by-nc-sa/4.0/spa
oaire.fundernameUniversidad de Antioquiaspa
dc.type.coarhttp://purl.org/coar/resource_type/c_5794spa
dc.type.redcolhttps://purl.org/redcol/resource_type/ECspa
dc.type.localDocumento de conferenciaspa
dc.subject.lembLógica-
dc.subject.lembLogic-
oaire.awardtitleA Constructive Logic of Evidencespa
dc.description.researchgroupidCOL0086896spa
oaire.awardnumber2023-60030spa
oaire.funderidentifier.rorRoR:03bp5hc83-
Aparece en las colecciones: Documentos de conferencias en Ciencias Exactas y Naturales

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
AgudeloJuan_2024_Propositional_Constructive_Logic.pdfDocumento de conferencia387.08 kBAdobe PDFVisualizar/Abrir
Mostrar el registro sencillo del ítem


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons