Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Algoritmo"
Now showing items 1-1 of 1
-
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...