( en | de | ru )

 

Disambiguation of "Ferreira, Francicleber Martins"

Author of the publication

copydeleteadd this publication to your clipboard
Hybrid Logics and NP Graph Properties.

, , , , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 123-134. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Walter Martins Ferreira Filho

Ana Helena Ferreira Ferreira

William Ferreira

Yvonne Ferreira

Jennifer Ferreira

 

Other publications of authors with the same name

The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results., , and . LSFA, volume 332 of Electronic Notes in Theoretical Computer Science, page 113-130. Elsevier, (2016)Recursive definitions and fixed-points on well-founded structures., and . Theor. Comput. Sci., 412 (37): 4893-4904 (2011)The Predicate-Minimizing Logic MIN., and . IBERAMIA-SBIA, volume 4140 of Lecture Notes in Computer Science, page 582-591. Springer, (2006)Polynomial hierarchy graph properties in hybrid logic., , , , and . J. Comput. Syst. Sci., 80 (6): 1087-1101 (2014)Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games., , and . Theor. Comput. Sci., (2020)Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT., , and . Theor. Comput. Sci., (2020)Expressible preferential logics., and . J. Log. Comput., 22 (5): 1125-1143 (2012)Hybrid Logics and NP Graph Properties., , , , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 123-134. Springer, (2011)On Finding a First-Order Sentence Consistent with a Sample of Strings., , and . GandALF, volume 277 of EPTCS, page 220-234. (2018)On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank., , and . LSFA, volume 344 of Electronic Notes in Theoretical Computer Science, page 189-208. Elsevier, (2018)