Somos FUNCAP

Última atualização: 03.04.2020

Pesquisador

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
Exibir Gráficos

Gráfico de Produção Bibliográfica

Gráfico de Orientações Concluídas

Produção Bibliográfica

Orientações Concluídas

Mestrado: 0
Doutorado: 1
Pos-Doutorado: 0
Outras: 5

Produção Técnica

  • 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

6 Especialidades Por ordem de relevância

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

Coautores Total: 17

Pesquisador da FUNCAP (0)
Externo Identificado no Lattes (3)
Não identificado (14)
Ana Teresa Martins Marcos Silva Thiago Alves Rocha MARTINS, A.T. Mácia Roberta Falcão de Farias Mario R. F. Benevides Luis Henrique Bustamante Cibele Matos Freire Jean-Yves Béziau Marcelin Pequeno FREIRE, C.M. BENEVIDES, M.R.F. MENASCHÉ SCHECHTER, L. Carlos Brito Carlos Fisch Brito ROCHA, THIAGO ALVES Luis Menasche Schechter

22 Palavras Chave utilizadas pelo professor

Expressiveness Minimal Models Fixed-Points Definibilidade Conjuntos Indutivos expressividade Circumscription Definability Definições Recursivas Ponto-fixo hybrid logics Preferential Logics Bounded-Degree Logics Beth's Definability Theorem grau limitado Minimalidade Complexity MSO_2 Lógica Modelos Minimais Recursive Definitions Expressividadde
CTIT UFMG