Estratto da
COMPLEXITY OF COMPUTATIONAL AND PROOFS
Arithmetic Circuits and Counting Complexity Classes
COMPLEXITY OF COMPUTATIONAL AND PROOFS
Arithmetic Circuits and Counting Complexity Classes

pagine: | 33-72 |
DOI: | 10.4399/97888799941323 |
data pubblicazione: | Gennaio 2006 |
editore: | Aracne |