Professor » Flávio Leonardo Cavalcanti de Moura » IE - INSTITUTO DE CIÊNCIAS EXATAS » CIC - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO » UnB Pesquisa

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

Artigos Publicados (7, 86% 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: 14

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 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

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