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.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis biblioteca |
| Language: | spa |
| Published: |
2016-03
|
| Subjects: | 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, |
| Online Access: | http://hdl.handle.net/11086/4164 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|