News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Document

Expressibility of the logic SOF on classes of structures of bounded FO types

Grosso, Alejandro et al · SEDICI UNLP · 2012

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Grosso, Alejandro et al
Publisher
SEDICI UNLP
Year
2012
Language
English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

Descripción general del contenido del recurso.

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. Eje: Workshop Teóricos de ciencia de la computación (WATCC) Red de Universidades con Carreras en Informática (RedUNCI)

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Grosso, A. E. A. (2012). Expressibility of the logic SOF on classes of structures of bounded FO types. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23807

MLA

Grosso, Alejandro et al. Expressibility of the logic SOF on classes of structures of bounded FO types. SEDICI UNLP, 2012. http://sedici.unlp.edu.ar/handle/10915/23807.

Chicago

Grosso, Alejandro et al. 2012. Expressibility of the logic SOF on classes of structures of bounded FO types. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23807.

Harvard

Grosso, A. E. A. 2012, Expressibility of the logic SOF on classes of structures of bounded FO types, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23807 [Accessed 8 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
Expressibility of the logic SOF on classes of structures of bounded FO types
Author / contributors
Grosso, Alejandro et al
Publisher
SEDICI UNLP
Publication year
2012
Language
English

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; Theory of Computation; Finite Model Theory; Descriptive Complexity; Relational Machines
Copied