Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-11-07T13:10:07Z
dc.date.available 2012-11-07T13:10:07Z
dc.date.issued 2012-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/23807
dc.description.abstract We introduce a new property for classes of structures (or relational database instances), that we call bounded FO types. Then we prove that on such classes the expressive power of SOF collapses to rst order logic FO. As a consequence of this we prove that SOF is strictly included in SO. en
dc.language en es
dc.subject Theory of Computation es
dc.subject Finite Model Theory en
dc.subject Descriptive Complexity en
dc.subject Relational Machines en
dc.title Expressibility of the logic SOF on classes of structures of bounded FO types en
dc.type Objeto de conferencia es
sedici.creator.person Grosso, Alejandro es
sedici.creator.person Turull Torres, José María es
sedici.description.note Eje: Workshop Teóricos de ciencia de la computación (WATCC) 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 2012-10
sedici.relation.event XVIII Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (168.7Kb) - 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)