Cibele Matos Freire

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Graph Properties

Top Venues

J. Comput. Syst. Sci.

Publications

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, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Hybrid Logics and NP Graph Properties. WoLLIC (2011)
Cibele Matos Freire, Ana Teresa C. Martins
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. LSFA (2010)