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:
Detalles Bibliográficos
Autor principal: Ventura, Pablo Gabriel
Otros Autores: Campercholi, Miguel Alejandro Carlos
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2016
Materias:
Acceso en línea:http://hdl.handle.net/11086/4164
Aporte de:
id I10-R141-11086-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_ 1764820391931412482