Resultats globals: 1 registres trobats en 0.04 segons.
Documents de recerca, 1 registres trobats
Documents de recerca 1 registres trobats  
1.
13 p, 212.6 KB On p-optimal proof systems and logics for PTIME / Chen, Yijia ; Flum, Jörg ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 997)  

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.