Skip to content

Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy.

Demen Gler, Andreas Krebs, Klaus-Jrn Lange, Petra Wolf

VenueCLATA
Year2018
ProceedingsLATA

Browse the full LATA paper archive.