Robuta

https://bibliographie.uni-tuebingen.de/xmlui/handle/10900/48518?show=full Formal Language Characterizations of P, NP, and PSPACE formal language p https://crypto.ethz.ch/publications/Dziemb96.html Bounded-Variable Fixpoint Queries are PSPACE-complete - Information Security and Cryptography... complete information bounded variable fixpoint queries https://arxiv.org/abs/1004.0264 [1004.0264] Equilibrium Value Method for the Proof of QIP=PSPACE Abstract page for arXiv paper 1004.0264: Equilibrium Value Method for the Proof of QIP=PSPACE for the equilibrium value method https://lkml.indiana.edu/hypermail/linux/kernel/0602.2/1259.html Linux-Kernel Archive: Re: (pspace,pid) vs true pid virtualization linux kernel archive pid vs true