Browsing by Author "Díaz, Marcio Oscar"
Now showing items 1-1 of 1
-
Optimización de la traducción funcional para lógicas modales
Díaz, Marcio Oscar (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 ...