Professor » Flávio Leonardo Cavalcanti de Moura » Instituto de Ciências Exatas (IE) » DEPTO CIENCIAS DA COMPUTACAO » UnB Pesquisa

Flávio Leonardo Cavalcanti de Moura http://lattes.cnpq.br/4924037693113808

Última atualização do Lattes: 04.11.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

Artigos Publicados (8, 88% com DOI)+
Demais Tipos de Produção (3, 67% com DOI)+
Trabalho em Eventos (14, 7% com DOI)+

Mestrado: 3

Doutorado: 0

Pos-Doutorado: 0

Outras: 19

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

Nome da especialidade (número de vezes que aparece no Lattes)

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

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