Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.

Guardado en:

Detalles Bibliográficos
Autor principal:	Ventura, Pablo Gabriel
Otros Autores:	Campercholi, Miguel Alejandro Carlos
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2023
Materias:	Teoría de modelos finitos Definibilidad Relaciones Algoritmos Morfismos Fragmentos de primer orden Model theory Finite model theory Definability Relations Algorithms Morphisms First order fragments
Acceso en línea:	http://hdl.handle.net/11086/548395
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.