Somos UnB
UnB
Última atualização do sistema: 27.04.2023
HOME
INDICADORES
CONTATO
SOBRE
Professor
Flávio Leonardo Cavalcanti de Moura
http://lattes.cnpq.br/4924037693113808
Última atualização do Lattes: 13.06.2020
Unidade:
IE - INSTITUTO DE CIÊNCIAS EXATAS
Departamento:
CIC - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO
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
(7, 86% 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:
14
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
(16)
+
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: 19
Professor da UnB (4)
Externo Identificado no Lattes (0)
Não identificado (15)
Mauricio Ayala Rincon
Fairouz Kamareddine
Mauricio Ayala Rincon
Ayala-Rincón, Mauricio
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
Ricardo Peixoto
AYALA-RINCON, M.
GALDINO, A. L.
Washington Luís Ribeiro de Carvalho Segundo
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
Lambda Cálculo
Lógica
Computação
Rewriting Systems
Ocaml
Teoria de Reescrita
Linguagens de programação
AKS
Lambda calculi
Matching
algoritmos
ML
PVS
Logic
Unificação de Primeira-Ordem
Higher-Order Patterns
assistentes de prova
Matemática
Metaconfluence
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