Login / Signup

Inverting Onto Functions and Polynomial Hierarchy.

Harry BuhrmanLance FortnowMichal KouckýJohn D. RogersNikolai K. Vereshchagin
Published in: CSR (2007)
Keyphrases
  • polynomial hierarchy
  • disjunctive logic programming
  • database
  • answer sets