Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden

Mostrar todas las versiones(2)

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:
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
Acceso en línea:http://hdl.handle.net/11086/4164
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares