Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Definibilidad"
Now showing items 1-2 of 2
-
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
(2016-03)En este trabajo desarrollamos algoritmos para decidir definibilidad de relaciones sobre familias finitas de estructuras finitas de primer orden. Presentamos algoritmos para los siguientes tipos de fórmulas: abiertas, ... -
Análisis de la definibilidad de relaciones en estructuras de primer orden
(2019-03)En el artículo "Semantical conditions for the definability of functions and relations" [1], se presentan condiciones semánticas que caracterizan cuando una función o una relación es definible por fórmulas de distintos ...