Search
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, ...