Francicleber Martins Ferreira

Theor. Comput. Sci., 2020

Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

2018

On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

On Finding a First-Order Sentence Consistent with a Sample of Strings.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic.

[BibT_eX]

[DOI]

Luis Henrique Bustamante

Proceedings of the Logic, Language, Information, and Computation, 2018

Synthesis of a DNF Formula From a Sample of Strings.

[BibT_eX]

[DOI]

Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2016

The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results.

[BibT_eX]

[DOI]

Márcia Farias

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2014

Polynomial hierarchy graph properties in hybrid logic.

[BibT_eX]

[DOI]

Cibele Matos Freire

Mario R. F. Benevides

Luis Menasché Schechter

J. Comput. Syst. Sci., 2014

2012

Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado.

[BibT_eX]

[DOI]

PhD thesis, 2012

Expressible preferential logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

2011

Recursive definitions and fixed-points on well-founded structures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Hybrid Logics and NP Graph Properties.

[BibT_eX]

[DOI]

Cibele Matos Freire

Mario R. F. Benevides

Luis Menasché Schechter

Proceedings of the Logic, Language, Information and Computation, 2011

2008

Recursive Definitions and Fixed-Points.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

2007

On Minimal Models.

[BibT_eX]

[DOI]

Log. J. IGPL, 2007

2006

The Predicate-Minimizing Logic MIN.

[BibT_eX]

[DOI]