Login / Signup

Applicative theories for the polynomial hierarchy of time and its levels.

Reinhard KahleIsabel Oitavem
Published in: Ann. Pure Appl. Log. (2013)
Keyphrases
  • polynomial hierarchy
  • disjunctive logic programming
  • artificial intelligence
  • boolean functions
  • answer sets