Search
Now showing items 1-6 of 6
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
(2014-03)
En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teorías (SMT). Desarrollamos el marco teórico para utilizar las simetrías de
una fórmula modal utilizando el ...
Representaciones globales para cuasivariedades de congruencias relativas distributivas
(2015)
Los productos subdirectos globales preservan sentencias de la forma "para todo existe único conjunción de p=q". Esta clase de sentencias permite expresar resultados interesantes (como el teorema de Nachbin, entre otros) ...
Aplicaciones de álgebra universal al reticulado de Post
(2017)
El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad ...
Generación de código intermedio usando semántica funtorial
(2010-12-29)
Este trabajo consiste en la implementación de un front-end para un lenguaje de programación Algol-like. El front-end es la
primera etapa del proceso de compilación; cuyo objetivo es generar código en un lenguaje intermedio ...
Optimización de la traducción funcional para lógicas modales
(2013-08-09)
En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones ...
Estudio de semántica categórica para lenguajes Algol-Like
(2013-09)
Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El ...