PROYECTOS NACIONALES

Proyecto

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.

Financiador: MINISTERIO DE CIENCIA Y TECNOLOGIA

Duración del 14 de noviembre de 2003 al 13 de noviembre de 2004 (12 meses)

6.000,00 EUR

De ámbito Nacional. Con carácter Público.

Responsable