● Especialidade · termo do Lattes

Lógicas e Semântica de Programas

Ciências Exatas e da TerraCiência da ComputaçãoTeoria da Computação
Ranking no sistema
4670ª de 18k especialidades
Hierarquia CNPq
Ciências Exatas e da Terra → Ciência da Computação → Teoria da Computação
Professores
9
que já usaram o termo
Usos
12
menções no Lattes
Unidades
4
com produção na área
Departamentos
5
envolvidos
Quem mais utilizatop 6
01Diógenes Cecilio da Silva Junior
Escola de Engenharia · Engenharia Elétrica
2
usos
02Fernando Magno Quintão Pereira
Instituto de Ciências Exatas · Ciência da Computação
2
usos
03Marcello Peixoto Bax
Escola de Ciência da Informação · Ciência da Informação
2
usos
04José Lopes de Siqueira Neto
Instituto de Ciências Exatas · Ciência da Computação
1
usos
05Karla Balzuweit
Instituto de Ciências Exatas · Física
1
usos
06Marcos Augusto Menezes Vieira
Instituto de Ciências Exatas · Ciência da Computação
1
usos
Distribuição por unidade4 unidades
Instituto de Ciências Exatas
7
Escola de Engenharia
2
Escola de Ciência da Informação
2
Faculdade de Letras
1