Análisis de la definibilidad de relaciones en estructuras de primer orden
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | bachelorThesis |
Lenguaje: | Español |
Publicado: |
2022
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/28609 |
Aporte de: |
id |
I10-R141-11086-28609 |
---|---|
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 la computación Lógica Teoría de modelos Definibilidad Relaciones Morfismos Theory of computation Logic Model theory Definability Relations Morphisms |
spellingShingle |
Teoría de la computación Lógica Teoría de modelos Definibilidad Relaciones Morfismos Theory of computation Logic Model theory Definability Relations Morphisms Incatasciato, Guillermo Luis Análisis de la definibilidad de relaciones en estructuras de primer orden |
topic_facet |
Teoría de la computación Lógica Teoría de modelos Definibilidad Relaciones Morfismos Theory of computation Logic Model theory Definability Relations Morphisms |
description |
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. |
author2 |
Vaggione, Diego José |
author_facet |
Vaggione, Diego José Incatasciato, Guillermo Luis |
format |
bachelorThesis |
author |
Incatasciato, Guillermo Luis |
author_sort |
Incatasciato, Guillermo Luis |
title |
Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_short |
Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_full |
Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_fullStr |
Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_full_unstemmed |
Análisis de la definibilidad de relaciones en estructuras de primer orden |
title_sort |
análisis de la definibilidad de relaciones en estructuras de primer orden |
publishDate |
2022 |
url |
http://hdl.handle.net/11086/28609 |
work_keys_str_mv |
AT incatasciatoguillermoluis analisisdeladefinibilidadderelacionesenestructurasdeprimerorden |
bdutipo_str |
Repositorios |
_version_ |
1764820392378105857 |