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 |