Somos UnB
UnB
Última atualização do sistema: 08.10.2024
HOME
INDICADORES
CONTATO
SOBRE
Professor
Flávio Leonardo Cavalcanti de Moura
http://lattes.cnpq.br/4924037693113808
Última atualização do Lattes: 07.08.2024
Unidade:
Instituto de Ciências Exatas (IE)
Departamento:
DEPTO CIENCIAS DA COMPUTACAO
Nomes de citação:
de MOURA, F. L. C. / de Moura, F.L.C. / de Moura, Flávio LC / Flávio L. C. de Moura / de Moura, Flávio L. C.
Exibir Gráficos
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
Artigos Publicados
(8, 88% com DOI)
+
Demais Tipos de Produção
(3, 67% com DOI)
+
Trabalho em Eventos
(14, 7% com DOI)
+
Orientações Concluídas
Mestrado:
3
Doutorado:
0
Pos-Doutorado:
0
Outras:
18
Produção Técnica
Software
(2)
+
Ano
2004
Título
SUBSEXPL - uma ferramenta para comparação de cálculos de substituições explíciras
Ano
1997
Título
ACOGEO - Apoio Computacional à Geometria Diferencial
6 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Lógicas e Semântica de Programas
(18)
+
maiores informações sobre esta especialidade
Teoria da Computação
(16)
+
maiores informações sobre esta especialidade
Lógicas e Semântica de Programas
(7)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(2)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(1)
+
maiores informações sobre esta especialidade
Teoria da Computação
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 20
Professor da UnB (3)
Externo Identificado no Lattes (0)
Não identificado (17)
Mauricio Ayala Rincon
Fairouz Kamareddine
Ayala-Rincón, Mauricio
Mauricio Ayala Rincon
Delia Kesner
Andréia Borges Avelar
Daniel Lima Ventura
Keti Tenenblat
Andre Galdino
Anderson C. A. Nascimento
R B Nogueira
Alex Barbosa
Avelar, Andréia B
Galdino, André L
GALDINO, A. L.
Ricardo Peixoto
Washington Luís Ribeiro de Carvalho Segundo
LIMA, MARIA J. D.
AYALA-RINCON, M.
Washington L R de C Segundo
37 Palavras Chave
utilizadas pelo professor
Coq
Explicit substitutions
Verificação Formal
Lambda Calculus
Substituições Explícitas
Calculi of Explicit Substitutions
Higher-Order Unification
Especificação e verificação formal
logica
Lambda Cálculo
assistentes de prova
Computação
Teoria de Reescrita
Rewriting Systems
Ocaml
Linguagens de Programação
Algoritmos
Lambda calculi
matching
AKS
ML
PVS
logic
Unificação de Primeira-Ordem
Higher-Order Patterns
Metaconfluence
Matemática
Eta reduction
Higher-Order Matching
Animação de algoritmos
first-order unification
Teoria de tipos
Protocolos criptográficos
Formal Methods
Lógica Computacional
geometria diferencial
Notação de deBruijn
CTIT UFMG