Browsing by Author "0b5a19e5-8f54-42c1-a20f-7786ba420f27"
Now showing items 1-1 of 1
-
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
Ventura, Pablo Gabriel (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, ...