Algebra and Logic
Proceedings Paper
Oitavem,I
Leibniz International Proceedings in Informatics, LIPIcs
22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013
2013
23
24-27
10.4230/lipics.csl.2013.24
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace
NOVA Math > NOVA Math > NOVA Math Publications > From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace