Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Algorithms"
Now showing items 1-1 of 1
-
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, ...