Somos FUNCAP
FUNCAP
Última atualização: 03.04.2020
HOME
INDICADORES
CONTATO
SOBRE
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
Artigos Aceitos para Publicação
(1)
+
Artigos Publicados
(5)
+
Demais Tipos de Produção
(4)
+
Livros e Capítulos
(3)
+
Trabalho em Eventos
(18)
+
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)
Lógicas e Semântica de Programas
(4)
+
maiores informações sobre esta especialidade
Lógica Matemática
(3)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(2)
+
maiores informações sobre esta especialidade
Lógicas e Semântica de Programas
(2)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(1)
+
maiores informações sobre esta especialidade
Linguagem Formais e Autômatos
(1)
+
maiores informações sobre esta especialidade
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