Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2016.
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | bachelorThesis |
Lenguaje: | Español |
Publicado: |
2016
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/4164 |
Aporte de: |
id |
I10-R14111086-4164 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de Córdoba |
institution_str |
I-10 |
repository_str |
R-141 |
collection |
Repositorio Digital Universitario (UNC) |
language |
Español |
topic |
Teoría de modelos Model theory Teoría de modelos finitos Definibilidad Relaciones Algoritmos Morfismos Fragmentos de primer orden Finite model theory Definability Algorithms Morphisms Fragments of the first order |
spellingShingle |
Teoría de modelos Model theory Teoría de modelos finitos Definibilidad Relaciones Algoritmos Morfismos Fragmentos de primer orden Finite model theory Definability Algorithms Morphisms Fragments of the first order Ventura, Pablo Gabriel Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden |
topic_facet |
Teoría de modelos Model theory Teoría de modelos finitos Definibilidad Relaciones Algoritmos Morfismos Fragmentos de primer orden Finite model theory Definability Algorithms Morphisms Fragments of the first order |
description |
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2016. |
author2 |
Campercholi, Miguel Alejandro Carlos |
author_facet |
Campercholi, Miguel Alejandro Carlos Ventura, Pablo Gabriel |
format |
bachelorThesis |
author |
Ventura, Pablo Gabriel |
author_sort |
Ventura, Pablo Gabriel |
title |
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden |
title_short |
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden |
title_full |
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden |
title_fullStr |
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden |
title_full_unstemmed |
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden |
title_sort |
algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden |
publishDate |
2016 |
url |
http://hdl.handle.net/11086/4164 |
work_keys_str_mv |
AT venturapablogabriel algoritmosparadecidirdefinibilidadderelacionesenfragmentosdeprimerorden |
bdutipo_str |
Repositorios |
_version_ |
1764820396431900673 |