Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Modal and temporal logics (High Relevance)"
Now showing items 1-1 of 1
-
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 ...