Merkliste 
 1 Ergebnisse 
 
1

A PSPACE construction of a hitting set for the closure of s..:

, In: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing,
Forbes, Michael A. ; Shpilka, Amir - p. 1180-1192 , 2018