Estratto da
COMPLEXITY OF COMPUTATIONAL AND PROOFS
Theories for Complexity Classes and their Propositional Translations
COMPLEXITY OF COMPUTATIONAL AND PROOFS
Theories for Complexity Classes and their Propositional Translations
| pagine: | 175-228 |
| DOI: | 10.4399/97888799941326 |
| data pubblicazione: | Gennaio 2006 |
| editore: | Aracne |




