PROYECTOS NACIONALES

Projecte

Dotación Adicional Programa Ramon y Cajal: ELABORACION DE METODOS PARA DISCERNIR EL PODER EXPRESIVO DE LOGICAS SOBRE MODELOS FINITOS PARA LOGRAR DIFERENCIAR EL PODER EXPRESIVO DE ESTAS Y ASI SOLUCIONAR PROBLEMAS IMPORTANTISIMOS DE LA TEORIA DE LA COMPUTACION. ESTUDIO DE METODOS PARA LOGRAR ESTO DESDE EL CAMPO DE LA LOGICA MATEMATICA Y, TAMBIEN DESDE EL ALGEBRA.