Francicleber Martins Ferreira http://lattes.cnpq.br/0624541770577469

Última atualização do Lattes: 01.11.2019
Unidade: Universidade Federal do Ceará
Departamento: Departamento de Computação
Nomes de citação: FERREIRA, F. M. / Ferreira, Francicleber Martins / FERREIRA, F.M. / FERREIRA, FRANCICLEBER
  • Trabalho Técnico (4)+
    • Ano
      2019
      Título
      14th International Workshop on Logical and Semantic Frameworks, with Applications --- LSFA 2019
    • Ano
      2018
      Título
      13th International Workshop on Logical and Semantic Frameworks, with Application --- LSFA 2018
    • Ano
      2017
      Título
      DaLí - Dynamic Logic: new trends and applications
    • Ano
      2017
      Título
      XVIII Brazilian Logic Conference
CTIT UFMG