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

Grosso, Alejandro et al · SEDICI UNLP · 2012

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Grosso, Alejandro et al

Editore

SEDICI UNLP

Anno

2012

Lingua

Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

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)

Come citare

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. https://nodovox.com/record.php?id=747469

MLA

Grosso, Alejandro et al. Expressibility of the logic SOF on classes of structures of bounded FO types. SEDICI UNLP, 2012. https://nodovox.com/record.php?id=747469.

Chicago

Grosso, Alejandro et al. 2012. Expressibility of the logic SOF on classes of structures of bounded FO types. SEDICI UNLP. https://nodovox.com/record.php?id=747469.

Harvard

Grosso, A. E. A. 2012, Expressibility of the logic SOF on classes of structures of bounded FO types, SEDICI UNLP, available at: https://nodovox.com/record.php?id=747469 [Accessed 9 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

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

Autore / collaboratori: Grosso, Alejandro et al

Editore: SEDICI UNLP

Anno di pubblicazione: 2012

Lingua: Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

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