A Parallel Tableau Algorithm for BIG DATA Verification

Autores
Asteasuain, Fernando; Rodriguez Caldeira, Luciana
Año de publicación
2020
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: Rodriguez Caldeira, Luciana. Universidad Abierta Interamericana. Centro de Altos Estudios. CAETI; Argentina
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
RDyD (UNDAv)
Institución
Universidad Nacional de Avellaneda
OAI Identificador
oai:undavdigital.undav.edu.ar:20.500.13069/3493
Acceder
id RDYD_7e3b2e49ffb4937da3bd5dcb817f56ee
oai_identifier_str oai:undavdigital.undav.edu.ar:20.500.13069/3493
network_acronym_str RDYD
repository_id_str 4678
network_name_str RDyD (UNDAv)
spelling A Parallel Tableau Algorithm for BIG DATA VerificationAsteasuain, FernandoRodriguez Caldeira, LucianaFil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; ArgentinaFil: Rodriguez Caldeira, Luciana. Universidad Abierta Interamericana. Centro de Altos Estudios. CAETI; Argentina2020info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttps://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3493enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/reponame:RDyD (UNDAv)instname:Universidad Nacional de Avellaneda2025-10-23T11:19:28Zoai:undavdigital.undav.edu.ar:20.500.13069/3493instacron:UNDAVInstitucionalhttps://undavdigital.undav.edu.arUniversidad públicaNo correspondehttps://undavdigital.undav.edu.ar/oai/requestjbartoletti@undav.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:46782025-10-23 11:19:28.669RDyD (UNDAv) - Universidad Nacional de Avellanedafalse
dc.title.none.fl_str_mv A Parallel Tableau Algorithm for BIG DATA Verification
title A Parallel Tableau Algorithm for BIG DATA Verification
spellingShingle A Parallel Tableau Algorithm for BIG DATA Verification
Asteasuain, Fernando
title_short A Parallel Tableau Algorithm for BIG DATA Verification
title_full A Parallel Tableau Algorithm for BIG DATA Verification
title_fullStr A Parallel Tableau Algorithm for BIG DATA Verification
title_full_unstemmed A Parallel Tableau Algorithm for BIG DATA Verification
title_sort A Parallel Tableau Algorithm for BIG DATA Verification
dc.creator.none.fl_str_mv Asteasuain, Fernando
Rodriguez Caldeira, Luciana
author Asteasuain, Fernando
author_facet Asteasuain, Fernando
Rodriguez Caldeira, Luciana
author_role author
author2 Rodriguez Caldeira, Luciana
author2_role author
dc.description.none.fl_txt_mv Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
Fil: Rodriguez Caldeira, Luciana. Universidad Abierta Interamericana. Centro de Altos Estudios. CAETI; Argentina
description Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
publishDate 2020
dc.date.none.fl_str_mv 2020
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3493
url https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3493
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:RDyD (UNDAv)
instname:Universidad Nacional de Avellaneda
reponame_str RDyD (UNDAv)
collection RDyD (UNDAv)
instname_str Universidad Nacional de Avellaneda
repository.name.fl_str_mv RDyD (UNDAv) - Universidad Nacional de Avellaneda
repository.mail.fl_str_mv jbartoletti@undav.edu.ar
_version_ 1846789385456975873
score 12.471625

Publicaciones similares