Francicleber Martins Ferreira

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