Login / Signup

Polynomial hierarchy graph properties in hybrid logic.

Francicleber Martins FerreiraCibele Matos FreireMario R. F. BenevidesLuis Menasché SchechterAna Teresa C. Martins
Published in: J. Comput. Syst. Sci. (2014)
Keyphrases
  • graph properties
  • polynomial hierarchy
  • graph theoretic
  • graph theory
  • directed graph
  • logic programming
  • answer sets
  • dnf formulas
  • database systems
  • lower bound