BECAS
GOREN Gabriel Mauricio
datos académicos
Título/s
Licenciado en Ciencias Físicas
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Informática y Comunicaciones
Matemática
Matemática
Disciplina desagregada
INFORMATICA-OTRAS
Especialidad
Lógica y Computabilidad
Tema
Bisimulaciones en lógicas y autómatas
Tema en inglés
Bisimulations in Logics and Automata
Palabras clave
BISIMULACIÓN // LÓGICA MODAL // MINIMIZACIÓN
Palabras clave en inglés
BISIMULATION // MODAL LOGIC // MINIMIZATION
Director
FIGUEIRA, SANTIAGO / INV INDEPENDIENTE
Lugar de trabajo
[ICC] INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
