Search
Now showing items 1-2 of 2
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 ...
Verificación de lógicas modales dinámicas en Coq
(2019-03)
Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...