Login / Signup
Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy.
Demen Güler
Andreas Krebs
Klaus-Jörn Lange
Petra Wolf
Published in:
LATA (2018)
Keyphrases
</>
polynomial hierarchy
database
data model
query language
semantic web
dnf formulas