Login / Signup

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