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:
| Autor principal: | Ventura, Pablo Gabriel |
|---|---|
| Otros Autores: | Campercholi, Miguel Alejandro Carlos |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/548395 |
| Aporte de: |
Ejemplares similares
-
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
por: Ventura, Pablo Gabriel
Publicado: (2016) -
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
por: Ventura, Pablo Gabriel
Publicado: (2016) -
Análisis de la definibilidad de relaciones en estructuras de primer orden
por: Incatasciato, Guillermo Luis
Publicado: (2022) -
On characterization, definability and ω-saturated models
por: Carreiro, F. -
On characterization, definability and ω-saturated models
por: Carreiro, Facundo Matías
Publicado: (2011)