Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2015-12-23T13:18:32Z
dc.date.available 2015-12-23T13:18:32Z
dc.date.issued 2015
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/50424
dc.description.abstract We prove that the existential fragment Σ²1,ω of the third or- der logic TOω captures the relational complexity class non deterministic exponential time. As a Corollary we have that relational machines can simulate third order relational machines. en
dc.language en es
dc.subject relational machines en
dc.title Capturing relational NEXPTIME with a fragment of existential third order logic en
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-987-3806-05-6 es
sedici.creator.person Turull Torres, José María es
sedici.description.note XII Workshop Bases de Datos y Minería de Datos (WBDDM) es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2015-10
sedici.relation.event XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015) es
sedici.relation.isRelatedWith http://sedici.unlp.edu.ar/handle/10915/50028 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (349.9Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)