BECAS
ZIGARÁN Gonzalo Javier
datos académicos
Título/s
Licenciado en Matemática
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Matemática
Informática y Comunicaciones
Disciplina desagregada
MATEMATICA-FUNDAMENTOS Y LOGICA
Especialidad
Semántica Algebraica
Tema
Un estudio computacional de la definibilidad en lógicas formales
Tema en inglés
A computational study of definability in formal logics
Palabras clave
DEFINABILIDAD // COMPLEJIDAD COMPUTACIONAL // LOGICAS FORMALES
Palabras clave en inglés
DEFINABILITY // COMPUTATIONAL COMPLEXITY // FORMAL LOGICS
Director
Co-director
VAGGIONE, DIEGO JOSE
Lugar de trabajo
[CIEM] CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA -
[CCT CORDOBA] CENTRO CIENTIFICO TECNOLOGICO CONICET - CORDOBA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -