Login / Signup

Function operators spanning the arithmetical and the polynomial hierarchy.

Armin Hemmerling
Published in: RAIRO Theor. Informatics Appl. (2010)
Keyphrases
  • polynomial hierarchy
  • relational databases
  • cellular automata
  • databases
  • answer sets
  • disjunctive logic programming