Search
Now showing items 1-2 of 2
Generalización de meta-programas con tipado dependiente en Mtac2
(2020-03)
En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ...
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 ...