Francicleber Martins Ferreira

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 7

Top Venues

LSFA

Theor. Comput. Sci.

J. Comput. Syst. Sci.

J. Log. Comput.

Federal University of Ceará, Fortaleza, Brazil (PHD)

Education History

Federal University of Ceará, Fortaleza, Brazil

PHD

Publications

Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. Theor. Comput. Sci. 805 (2020)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT. Theor. Comput. Sci. 843 (2020)
Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira
Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. WoLLIC (2018)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank. LSFA (2018)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of a DNF Formula From a Sample of Strings. BRACIS (2018)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
On Finding a First-Order Sentence Consistent with a Sample of Strings. GandALF (2018)
Márcia Farias, Ana Teresa C. Martins, Francicleber Martins Ferreira
The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. LSFA (2016)
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Polynomial hierarchy graph properties in hybrid logic. J. Comput. Syst. Sci. 80 (6) (2014)
Francicleber Martins Ferreira, Ana Teresa C. Martins
Expressible preferential logics. J. Log. Comput. 22 (5) (2012)
Francicleber Martins Ferreira, Ana Teresa C. Martins
Recursive definitions and fixed-points on well-founded structures. Theor. Comput. Sci. 412 (37) (2011)
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Hybrid Logics and NP Graph Properties. WoLLIC (2011)
Francicleber Martins Ferreira, Ana Teresa C. Martins
Recursive Definitions and Fixed-Points. LSFA (2008)
Francicleber Martins Ferreira, Ana Teresa C. Martins
On Minimal Models. Log. J. IGPL 15 (5-6) (2007)
Francicleber Martins Ferreira, Ana Teresa C. Martins
The Predicate-Minimizing Logic MIN. IBERAMIA-SBIA (2006)

Francicleber Martins Ferreira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Francicleber Martins Ferreira