• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification.

Till Tantau
Published in: STACS (2015)
Keyphrases
  • complexity theoretic
  • databases
  • knowledge base
  • logic programming
  • nonmonotonic reasoning