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: | Incatasciato, Guillermo Luis |
|---|---|
| Otros Autores: | Vaggione, Diego José |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/28609 |
| Aporte de: |
Ejemplares similares
-
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
por: Ventura, Pablo Gabriel
Publicado: (2023) -
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) -
Caracterización y definibilidad en fragmentos modales de primer orden
por: Carreiro, Facundo Matías
Publicado: (2010) -
Basic model theory for memory logics
por: Areces, C., et al.